Can Large Language Models Reason about Program Invariants?

Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin
2/12/2026
Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 2 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{pei2026large,
  title  = {Can Large Language Models Reason about Program Invariants?},
  author = {Kexin Pei and David Bieber and Kensen Shi and Charles Sutton and Pengcheng Yin},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:e50921bc8585bf78ef896e1f31718c5ca102aa67},
  journal = {ICML 2023 2023}
}

Discussion