Proposing and solving olympiad geometry with guided tree search

14 December 2024

Papers citing "Proposing and solving olympiad geometry with guided tree search"

1 / 1 papers shown

Title
TrustGeoGen: Scalable and Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving Daocheng Fu Zijun Chen Renqiu Xia Qi Liu Yuan Feng ... Peng Gao Junchi Yan Botian Shi Bo Zhang Yu Qiao 96 3 0 22 Apr 2025