Login / Signup
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis.
Jonathan Laurent
André Platzer
Published in:
NeurIPS (2022)
Keyphrases
</>
learning process
active learning
search strategies
neural network
learning algorithm
reinforcement learning
lower bound
multi objective