原文 · 保持原样，未翻译原文 · 未翻译
Abstract:Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
| Comments: | |
| 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 [
Mon, 21 Sep 2026 17:57:30 UTC (365 KB)
Access Paper:
Current browse context:
References & Citations
Bookmark
