TY  - RPRT
TI  - Lea: An Agent Backbone for Mathematician-Controlled Formalization in Lean
AU  - Shaswat Patel
AU  - Daniel Aarao Reis Arturi
AU  - Kevin Gomez
AU  - Jaume de Dios Pont
AU  - Jorge Poco
AU  - Eduardo V. Teixeira
AU  - Sam Westrick
AU  - Claudio Silva
AU  - Chinmay Hegde
PY  - 2026
UR  - https://arxiv.org/abs/2611.08849
ID  - 2611.08849
ER  -