REESSE1+ . Reward . Proof by Experiment

Shenghui Su Shuwang Lü

Published in: CoRR (2009)

Keyphrases

reinforcement learning
theorem proving
geometry theorem proving
long run
mathematical proofs
theorem prover
neural network
data mining
search engine
special case
reward function
automated theorem proving
bandit problems