Login / Signup
Learning to Give Checkable Answers with Prover-Verifier Games.
Cem Anil
Guodong Zhang
Yuhuai Wu
Roger B. Grosse
Published in:
CoRR (2021)
Keyphrases
</>
learning tasks
learning algorithm
learning process
online learning
multiagent learning
learning problems
data sets
supervised learning
multi agent
knowledge acquisition
learning systems
mobile learning
decision trees
machine learning
theorem proving
digital games
neural network