1 paper
Minfeng Zhu, Zi Wang, Sizhe Ji +8
Recent neuro-symbolic geometry theorem provers have made significant progress on Euclidean problems by coupling neural guidance with symbolic verification. However, most existing s…