Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin. Can Large Language Models Reason about Program Invariants?. In Andreas Krause 0001, Emma Brunskill, KyungHyun Cho, Barbara Engelhardt, Sivan Sabato, Jonathan Scarlett, editors, International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA. Volume 202 of Proceedings of Machine Learning Research, pages 27496-27520, PMLR, 2023. [doi]
Abstract is missing.