HOL Light QE.

Jacques Carette William M. Farmer Patrick Laskowski

Published in: CoRR (2018)

Keyphrases

query expansion
theorem prover
formal methods
retrieval effectiveness
data mining
neural network
real world
machine learning
information retrieval
genetic algorithm
artificial intelligence
refractive index
higher order logic