Poster · Sydney
Optimizing Analytic Constants via AI-Guided Lean Proof Refinement
- When
- Wed 9 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 3
- Authors
- Rahul Saha, Alan Li, Anton Xue, Adam Klivans, Pravesh K Kothari, Raghu Meka, Swarat Chaudhuri
- Organisations
- University of Texas at Austin, Carnegie Mellon University, University of California, Los Angeles, Google DeepMind
- QRS classification
- Agentic AI