8 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Zhaoyu Li, Hangrui Bi, Youyuan Zhang +5
Euclidean geometry is a compelling testbed for AI reasoning, as it demands the combination of intuitive diagram understanding, axiomatic deduction, and algebraic computation. Yet,…