1 paper · 1 filter
Chendong Song, Zihan Wang, Frederick Pu +5
Geometry problems are a crucial testbed for AI reasoning capabilities. Most existing geometry solving systems cannot express problems within a unified framework, thus are difficult…