Author

Walter Moreira

Observed name: Moreira, Walter

Institutions: Texas Advanced Computing Center, The University of Texas at Austin

Observed institutions: Texas Advanced Computing Center, The University of Texas at Austin

OpenAlex ID: A5123503944

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean

2026 · Moreira, Walter, Stubbs, Joe · arXiv (Cornell University) · 1

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

2026 · Jana, Prithwish, Hoang, Viet Bach, et al. · arXiv (Cornell University)

Works count: 2

Citation count: 1

H-index: 1

I10-index: