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 · 65d ago
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving

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

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

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