TY  - RPRT
TI  - Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
AU  - Jianan Yao
AU  - Gabriel Ryan
AU  - Justin Wong
AU  - Suman Jana
AU  - Ronghui Gu
PY  - 2020
DO  - 10.1145/3385412.3385986
UR  - https://arxiv.org/abs/2003.07959
ID  - 2003.07959
ER  -