Login / Signup
Enumerating proofs of positive formulae.
Gilles Dowek
Ying Jiang
Published in:
CoRR (2023)
Keyphrases
</>
positive and negative
neural network
theorem prover
database
mathematical proofs
machine learning
knowledge base
multimedia
clustering algorithm
training data
evolutionary algorithm
multiresolution
theorem proving
formal proof
equational theories