search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Automated Theorem Proving for Metamath.

Mario Carneiro Chad E. Brown Josef Urban

Published in: ITP (2023)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
first order logic
inference rules
artificial intelligence
machine learning
training data
high level
fuzzy sets
fuzzy logic
semi supervised