formal verification
- APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
- Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
- Learning Simple Interpolants for Linear Integer Arithmetic
- VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification