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