[ACL’25] Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference.

Published in 63rd Annual Meeting of the Association for Computational Linguistics (ACL), Main Research Track, 2025