@misc{indiciaee4c000dd349a,
  title = {Lea: An Agent Backbone for Mathematician-Controlled Formalization in Lean},
  author = {Shaswat Patel and Daniel Aarao Reis Arturi and Kevin Gomez and Jaume de Dios Pont and Jorge Poco and Eduardo V. Teixeira and Sam Westrick and Claudio Silva and Chinmay Hegde},
  year = {2026},
  url = {https://arxiv.org/abs/2611.08849},
  note = {Source identifier: 2611.08849}
}