A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material
Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff‐Korbayová, Marvin R. G. Schiller, Magdalena Anna Wolska · 2006
We present a new corpus of tutorial dialogs on mathematical theorem proving that was collected in a Wizard-of-Oz setup.Our study is a follow up on a previous experiment conducted in a similar simulated environment.A major difference between the current and the previous experimental setup was that in this study we varied the presentation of the study-material with which the subjects were provided.One sub-group of the subjects was presented with a highly formalized presentation consisting mainly of formulas, while the other with a presentation mainly in natural language.Our goal was to obtain more data on the kind of mixed-language that is characteristic of informal mathematical discourse.We hypothesized that the language style of the subjects' interaction with the simulated system will reflect the style of presentation of the study-material.In the paper we briefly present the experimental setup, the corpus, and a preliminary quantitative results of the corpus analysis.