Cleanly connecting NNs to contracts / rules is indeed a hard problem, which many people would like to see solved. Please see my post about that [1], and the cor

Cleanly connecting NNs to contracts / rules is indeed a hard problem, which many people would like to see solved. Please see my post about that [1], and the corresponding HN comment thread [2]. [1] http://blog.foretellix.com/2017/07/06/where-machine-learning-meets-rule-based-verification/ http://blog.foretellix.com/2017/07/06/where-machine-learning... [2] https://news.ycombinator.com/item?id=14717692 https://news.ycombinator.com/item?id=14717692