FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning

Open in new window