Login / Signup
Proof by experimentation?: towards better IR research.
Norbert Fuhr
Published in:
SIGIR Forum (2020)
Keyphrases
</>
theorem proving
information access
database
test bed
automated theorem proving
theorem prover
multi lingual
neural network
learning algorithm
pairwise
mathematical proofs