1 code implementation • 17 Mar 2020 • Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu
In this paper, we introduce a new neural architecture for general SMT learning, the Gated Continuous Logic Network (G-CLN), and apply it to nonlinear loop invariant learning.
1 code implementation • ICLR 2020 • Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
We use CLNs to implement a new inference system for loop invariants, CLN2INV, that significantly outperforms existing approaches on the popular Code2Inv dataset.