Login / Signup
Coming up with a good question is not easy: A proof.
Joe Lorkowski
Luc Longpré
Olga Kosheleva
Salem Benferhat
Published in:
NAFIPS/WConSC (2015)
Keyphrases
</>
theorem prover
theorem proving
real world
evolutionary algorithm
hidden markov models
answer questions
mathematical proofs
interactive theorem proving