Problem
Research questions and friction points this paper is trying to address.
formalized mathematics
AI agents
repository
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
🤖 AI Summary
为维护和优化形式化数学档案，Lean Pool项目采用AI代理进行管理和扩展。
📝 Abstract
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Innovation
Methods, ideas, or system contributions that make the work stand out.
AI agents
formalized mathematics
repository
🔎 Similar Papers
2024-03-20Conference on Empirical Methods in Natural Language ProcessingCitations: 1
