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

Jia Zou Xiaokai Zhang Yiming He Na Zhu Tuo Leng

Published in: CoRR (2024)

Keyphrases

reinforcement learning
real time
optimization problems
np complete
deductive reasoning
neural network
hidden markov models
dynamic programming
temporal difference
computer vision
markov decision processes
function approximation
learning classifier systems
markov decision process