CertiK, New York, NY, USA; Department of Computer Science, Columbia University, New York, NY, USA
loop invariants;deep learning;logic learning
CLN2INV: Learning Loop Invariants with Continuous Logic Networks