 Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification InferenceAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 |
 Automated Proof Generation for Rust Code via Self-EvolutionInternational Conference on Learning Representations (ICLR), 2024 |
 Towards Neural Synthesis for SMT-Assisted Proof-Oriented ProgrammingInternational Conference on Software Engineering (ICSE), 2024 |
