Login / Signup
A Conjecture for ATP Research.
Wolfgang Bibel
Published in:
CoRR (2024)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
pairwise
probabilistic model
optimal solution
relational databases
data model
active learning
low degree
learning algorithm
reinforcement learning
probability distribution
theoretical analysis