The Embedding Report.

Entities · Products

Lean 4

4 articles tagged with this entity.

Mechanism-level routing failure in LLMs over Lean-verified algebraic structures

via export.arxiv.org · Global · 11d ago
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving

via export.arxiv.org · Global · 32d ago
Real-world grounding in agentic AI

via amazon.science · US · 39d ago
Formalizing Mathematics at Scale

via export.arxiv.org · Global · 50d ago