Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference.

Thanh Le-Cong, Bach Le, Toby Murray

Browse the full ACL paper archive.