Automatized Evaluation of Formalization Exercises in Mathematics.

Published in: CoRR (2020)

Keyphrases

evaluation method
data sets
genetic algorithm
computer science
gold standard
database
neural network
real world
artificial intelligence
natural language
sql server
evaluation process