Evaluating Automatic Difficulty Estimation of Logic Formalization Exercises.

Alexandra Mayn Kees van Deemter

Published in: CoRR (2022)

Keyphrases

fully automatic
automatic evaluation
data driven
modal logic
statistical classification
knowledge representation
logic programming
logical framework
accurate estimation
estimation algorithm
formal logic
set theory
estimation accuracy
automated reasoning
robust estimation
database
website
machine learning
data sets