An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.

Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayov, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmller

Browse the full LREC paper archive.