Login / Signup
The Relevance of Premises to Conclusions of Core Proofs.
Neil Tennant
Published in:
Rev. Symb. Log. (2015)
Keyphrases
</>
information retrieval
multiscale
neural network
machine learning
relative importance
mathematical proofs
databases
real world
information systems
case study
similarity measure
active learning
empirical data
highly relevant
relevance ranking