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