23 citations · 23 across the 1 of their papers we have counts for
1 paper · 1 filter
Siddharth Krishna, Christian Puhrsch, Thomas Wies
The problem of inferring an inductive invariant for verifying program safety can be formulated in terms of binary classification. This is a standard problem in machine learning: gi…