Login / Signup
Learning to Guide a Saturation-Based Theorem Prover.
Ibrahim Abdelaziz
Maxwell Crouse
Bassem Makni
Vernon Austil
Cristina Cornelio
Shajith Ikbal
Pavan Kapanipathi
Ndivhuwo Makondo
Kavitha Srinivas
Michael Witbrock
Achille Fokoue
Published in:
CoRR (2021)
Keyphrases
</>
theorem prover
learning process
learning algorithm
theorem proving
supervised learning
online learning
learning tasks
young children
neural network
reinforcement learning
training set
active learning
computer algebra