#Lean 4
2 articles with this tag
AI Research
Governing LLM Reasoning with Formal Verification
EG-VAR introduces a Lean 4-based architecture for auditable LLM reasoning, achieving perfect accuracy and source fidelity on benchmarks by using formal verification as the sole claim issuer.
20 days ago
Artificial Intelligence
Mistral AI's Leanstral Tackles Trust in Code Generation
Mistral AI introduces Leanstral, an open-source code agent for Lean 4, aiming to bring formal verification to AI-generated code and boost engineering efficiency.
5 months ago