Login / Signup
Toward Mechanical Methods for Streamlining Proofs.
William Pierce
Published in:
CADE (1990)
Keyphrases
</>
computational cost
qualitative and quantitative
database
real time
data sets
search engine
reinforcement learning
significant improvement
benchmark datasets
machine learning methods