Poster · Atlanta
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
- When
- Thu 10 Dec 2026, 10:00–13:00 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 3
- Authors
- Jialin Lu, Soonho Kong, Rodrigo Stehling, Kaiyu Yang, Zhangyang "Atlas" Wang, Weiran Sun, Wuyang Chen
- Organisations
- Simon Fraser University, Amazon, Meta, University of Texas at Austin, XTX Markets
- QRS classification
- Agentic AI, Language models