Proving that safety-critical neural networks do what they're supposed to (part 2 of 2)

[lindseykuper]

New blog post, in which I cough up more information about this neural-network-verification thing I've been doing!

Comments

[joshua0]

This link seems to 404.

[lindseykuper]

Oops! I fixed the typo; thanks.

[graydon2]

Bravo! This is some pretty serious business.

[lindseykuper]

Thanks! I'm excited about it.