Andy Matuschak@andy_matuschak·Jul 4, 2017Fascinating 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/…220
Andy Matuschak@andy_matuschakReplying to @andy_matuschak and @rmozoneThanks for writing!! :D12:13 AM · Jul 6, 2017·Twitter for Mac1 Like
