From the 1 of 2 linked papers with an AI index.
2 papers
cs.CL2026
A Neurosymbolic Approach to Natural Language Formalization and Verification
Chenyang An, Sam Bayless, Stefano Buliani +27
The paper presents ARc, a system that combines large language models with automated reasoning to formally translate natural‑language policies and verify their logical correctness,…
cs.SE2025
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu +10
Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generatio…