CLN2INV: Learning Loop Invariants with Continuous Logic Networks

Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana
January, 2020
PDF Code
Type
Conference paper
Publication
ICLR 2020
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.