#Lean 4

2 articles with this tag

Governing LLM Reasoning with Formal Verification
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.

2 months ago
Mistral AI's Leanstral Tackles Trust in Code Generation
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.

6 months ago