Andy Matuschak@andy_matuschakFascinating technique uses SMT solvers to formally verify propositions about neural network behavior (h/t @rmozone) http://composition.al/blog/2017/05/30/proving-that-safety-critical-neural-networks-do-what-theyre-supposed-to-where-we-are-where-were-going-part-1-of-2/…2:49 AM · Jul 4, 2017·Twitter for Mac20 Likes
Andy Matuschak@andy_matuschak·Jul 6, 2017Replying to @andy_matuschak and @rmozoneThanks for writing!! :D1
