Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Affiliation:Sep 21, 2026arXiv:2609.25199

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

V. Ilin, Vasily Ilin

Abstract

Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.

Tool Use & Agents

Citation Metrics

Citations0

Influential citations0

References0

Year2026

VenueN/A

Related Papers

Finding related papers...