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 118 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!
librarian-bot

This is an automated message from the Librarian Bot. I found the following papers similar to this paper.

The following papers were recommended by the Semantic Scholar API

Please give a thumbs up to this comment if you found it helpful!

If you want recommendations for any Paper on Hugging Face checkout this Space

You can directly ask Librarian Bot for paper recommendations by tagging it in a comment: @librarian-bot recommend

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.