CLN2INV: Learning Loop Invariants with Continuous Logic Networks Sep. 26, 2019Published in ICLR, 2019