TY  - RPRT
TI  - CLN2INV: Learning Loop Invariants with Continuous Logic Networks
AU  - Gabriel Ryan
AU  - Justin Wong
AU  - Jianan Yao
AU  - Ronghui Gu
AU  - Suman Jana
PY  - 2019
UR  - https://arxiv.org/abs/1909.11542
ID  - 1909.11542
ER  -