Login / Signup

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies.

Jonathan LaurentAndré Platzer
Published in: CoRR (2022)
Keyphrases
  • learning algorithm
  • reinforcement learning
  • search strategies
  • information retrieval
  • high dimensional
  • multi agent
  • computational complexity
  • learning process