Ricerca
Lean Pool: un archivio di matematica formalizzata mantenuto dall’IA
Lean Pool è un archivio di matematica formalizzata. Viene ampliato, mantenuto e ottimizzato da agenti di IA.
- arXiv
- 2609.25199
- Pubblicato
- 2026-09-21
- Autori
- Vasily Ilin
Abstract degli autori
Lean Pool è un archivio di matematica formalizzata. Viene ampliato, mantenuto e ottimizzato da agenti di IA.
Il riassunto di questo paper è disponibile solo in inglese: leggilo nella pagina inglese.
Leggi il paper originale su arXiv