Sign in

Coming up with a good question is not easy: A proof.

Joe LorkowskiLuc LongpréOlga KoshelevaSalem 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