Learning Theorem Proving Components.

Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban

Published in: CoRR (2021)

Keyphrases

theorem proving
learning algorithm
learning process
parallel search
first order logic
automated reasoning
term rewriting
proof planning
artificial intelligence
bayesian networks
supervised learning
belief revision
inference rules