Lean Pool: An AI-Maintained Archive of Formalized Mathematics · ByteTrail

Today News Research Fields Stacks Market Analytics

⌘K

Paper

ByteTrail · AI and developer-tools intelligence

News Research Stacks API

Today News Research Fields Stacks Market Analytics

Fields · this week

Multimodal464 Agents448 Frontier LLMs404 Inference & serving229 Image segmentation158 Graph learning145 3D scene138 Learning verifiable rewards121 Voice AI76 Classifier & causal discovery73 Forecasting time68 Flow matching61 Teacher policy distillation47 Adversarial training45 Federated learning41 All 23 fields

Lean Pool: An AI-Maintained Archive of Formalized Mathematics · ByteTrail

arXiv cs.AISep 21

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Vasily Ilin

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

arXiv: 2609.25199
Authors: Vasily Ilin
Categories: cs.AI