CLN2INV: Learning Loop Invariants with Continuous Logic Networks

Ryan et al. "CLN2INV: Learning Loop Invariants with Continuous Logic Networks." International Conference on Learning Representations, 2020.

[Ryan et al. "CLN2INV: Learning Loop Invariants with Continuous Logic Networks." International Conference on Learning Representations, 2020.](https://mlanthology.org/iclr/2020/ryan2020iclr-cln2inv/)

@inproceedings{ryan2020iclr-cln2inv,
  title     = {{CLN2INV: Learning Loop Invariants with Continuous Logic Networks}},
  author    = {Ryan, Gabriel and Wong, Justin and Yao, Jianan and Gu, Ronghui and Jana, Suman},
  booktitle = {International Conference on Learning Representations},
  year      = {2020},
  url       = {https://mlanthology.org/iclr/2020/ryan2020iclr-cln2inv/}
}