Lean Pool: An AI-Maintained Archive of Formalized Mathematics
- 类型：arxiv
- 标识：2609.25199
- 链接：https://arxiv.org/abs/2609.25199
- 主分类：agent
- 形态：method
- TLDR：Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
- 待LLM分类：否
- 来源文件：
- /inbox/tom/_candidates/2026-09-23-agent-rag-longcontext-candidates.json