August 5, 2026

Minghai’s paper on LLM-guided proof strategy selection has been accepted to ASE 2026. Congratulations, Minghai!