Login / Signup
Information in propositional proofs and algorithmic proof search.
Jan Krajícek
Published in:
CoRR (2021)
Keyphrases
</>
neural network
probability distribution
first order logic
theorem proving
proof search