The Embedding Report.

Entities · Labs

Mathlib

4 articles tagged with this entity.

Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings

via export.arxiv.org · Global · 71d ago
COMPOSE: Composing Future Theorems from Citations and Formal Structure

via export.arxiv.org · Global · 103d ago
MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

via export.arxiv.org · Global · 104d ago
Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4

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