Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche.

Merlin Carl Hinrich Lorenzen Michael Schmitz

Published in: CoRR (2022)

Keyphrases

natural language
machine learning
genetic algorithm
artificial intelligence
theorem prover
learning algorithm
real time
computer vision
knowledge base
case study
knowledge representation
natural language processing
question answering
semantic analysis
natural language generation
geometry theorem proving