VI
Vasily Ilin
· 1 min read
ResearcharXiv cs.AI
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
View PDF HTML (experimental)
Abstract:Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
| Comments: | 52 pages, 6 figures. Includes a catalogue of imported projects |
| Subjects: | Artificial Intelligence (cs.AI) |
| Cite as: | arXiv:2609.25199 [cs.AI] |
| (or arXiv:2609.25199v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2609.25199
arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Vasily Ilin [view email]
[v1]
Mon, 21 Sep 2026 17:57:30 UTC (365 KB)
Original source
This story was published by arXiv cs.AI and written by Vasily Ilin. SyncAI.news shows a preview; the complete article is on the publisher's site.
Read the full story on arxiv.org
