Hugging Face's logo
Papers
arxiv:2609.25199

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Published on Sep 21
· Submitted by
Vasily Ilin on Sep 23
Authors:

Abstract

Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.

View arXiv page View PDF Project page GitHub 113 Add to collection

Community
Vilin97
 Paper submitter

Lean Pool the largest curated repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
simku22

Amazing!

Sign up or log in to comment

Get this paper in your agent:

hf papers read 2609.25199
Don't have the latest CLI?
curl -LsSf https://hf.co/cli/install.sh | bash

Models citing this paper 0

No model linking this paper

Cite arxiv.org/abs/2609.25199 in a model README.md to link it from this page.

Datasets citing this paper 0

No dataset linking this paper

Cite arxiv.org/abs/2609.25199 in a dataset README.md to link it from this page.

Spaces citing this paper 0

No Space linking this paper

Cite arxiv.org/abs/2609.25199 in a Space README.md to link it from this page.

Collections including this paper 0

No Collection including this paper

Add this paper to a collection to link it from this page.