Login / Signup

Learning Guided Automated Reasoning: A Brief Survey.

Lasse BlaauwbroekDavid M. CernaThibault GauthierJan JakubuvCezary KaliszykMartin SudaJosef Urban
Published in: Logics and Type Systems in Theory and Practice (2024)
Keyphrases
  • automated reasoning
  • learning process
  • learning algorithm
  • supervised learning
  • neural network
  • artificial intelligence
  • pairwise