CLN2INV: Learning Loop Invariants with Continuous Logic Networks  

Published in ICLR, 2019