Leopold Haller

Researcher, Axiom Math

Joined

February 2026

Names

Leopold Haller (Preferred)

Emails

****@gmail.com (Confirmed)

,

****@axiommath.ai (Confirmed)

Personal Links

Career & Education History

Researcher

Axiom Math (axiommath.ai)

2025 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

ProofRepairBench: Exploring Proof Repair in Lean
Manooshree Patel, Bartosz Piotrowski, Leopold Haller, Hugh James Leather
- ICLR 2026 Workshop VerifAI-2
- Readers: Everyone

Co-Authors