search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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