An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving Magdalena Wolska author Bao Quoc Vo author Dimitra Tsovaltzi author Ivana Kruijff-Korbayová author Elena Karagjosova author Helmut Horacek author Armin Fiedler author Christoph Benzmüller author 2004-05 text Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04) Maria Teresa Lino editor Maria Francisca Xavier editor Fátima Ferreira editor Rute Costa editor Raquel Silva editor European Language Resources Association (ELRA) Lisbon, Portugal conference publication wolska-etal-2004-annotated https://aclanthology.org/L04-1427/ 2004-05