Learning to Reason Assisted by Automated Reasoning.

Wolfgang Windsteiger

Published in: CICM (2022)

Keyphrases

automated reasoning
learning process
learning algorithm
reinforcement learning
natural language
knowledge representation
supervised learning
lower bound
probability distribution
automated verification