Login / Signup
An Overview of Methods for Large-Theory Automated Theorem Proving.
Josef Urban
Published in:
ATE (2011)
Keyphrases
</>
preprocessing
neural network
significant improvement
benchmark datasets
theoretical framework
machine learning methods
mathematical models
automated theorem proving
data sets
rough sets
empirical studies
model checking
theorem prover