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