作者位次 #7/11ICML 2026Poster· Applications / Everything Else
Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
Linbin Tang · Jingyan You · Zilin Kang · Hanzhang Liu · Sophia Zhang · Zenan Li · Chenrui Cao · Liangcheng Song · Jiaao Wu · Xian Zhang · Fan Yang