Login / Signup
Learning Guided Automated Reasoning: A Brief Survey.
Lasse Blaauwbroek
David M. Cerna
Thibault Gauthier
Jan Jakubuv
Cezary Kaliszyk
Martin Suda
Josef Urban
Published in:
CoRR (2024)
Keyphrases
</>
automated reasoning
learning process
knowledge representation
learning algorithm
expert systems
machine learning
active learning
markov random field
probabilistic inference
decision procedures
automated verification