Login / Signup
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies.
Jonathan Laurent
André Platzer
Published in:
CoRR (2022)
Keyphrases
</>
learning algorithm
reinforcement learning
search strategies
information retrieval
high dimensional
multi agent
computational complexity
learning process