Login / Signup

Acceptable gaps in mathematical proofs.

Line Edslev Andersen
Published in: Synth. (2020)
Keyphrases
  • mathematical proofs
  • cognitive processes
  • theorem prover
  • natural language
  • machine learning
  • training data
  • reinforcement learning
  • upper bound
  • data management