TY - RPRT TI - FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning AU - Jia Zou AU - Xiaokai Zhang AU - Yiming He AU - Na Zhu AU - Tuo Leng PY - 2024 UR - https://arxiv.org/abs/2402.09051 ID - 2402.09051 ER -