@misc{indiciaedab1ae428844,
  title = {FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning},
  author = {Jia Zou and Xiaokai Zhang and Yiming He and Na Zhu and Tuo Leng},
  year = {2024},
  url = {https://arxiv.org/abs/2402.09051},
  note = {Source identifier: 2402.09051}
}