Theorem-Validated Reverse Chain-of-Thought Problem Generation for Geometric Reasoning

Deng Linger | Linghao Zhu | Yuliang Liu | Yu Wang | Qunyi Xie | Jingjing Wu | Gang Zhang | Yingying Zhu | Xiang Bai |