| title | Lean Pool: An AI-Maintained Archive of Formalized Mathematics |
|---|---|
| authors | Vasily Ilin |
| date | 2026-09-21 |
| venue | arXiv (preprint, not peer reviewed) |
| id | arXiv:2609.25199 |
| upvotes | 24 (Hugging Face Daily Papers, 2026-11-01) |
| links | abs pdf hf code |
| abstract | Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents. |
cite
@misc{ilin2026lean,
title={Lean Pool: An AI-Maintained Archive of Formalized Mathematics},
author={Vasily Ilin},
year={2026},
eprint={2609.25199},
archivePrefix={arXiv},
url={https://arxiv.org/abs/2609.25199}
}