Example-Driven Machine-Human Collaboration in Mathematics

 Alison has recently secured funding from EPSRC on “Example-driven
machine human collaboration in mathematics”, and work has now begun. In
this project she will build on investigations into example-use in
mathematics, and employ third party model generators, to design and
build a system which can interface to online mathematical conversations.
This will draw together theories of argumentation, automated reasoning
systems, and ethnographical, cognitive and philosophical studies of how
people do mathematics. The prototype system will be evaluated by running
it on mathematical conversations in real-time, and seeing, by a variety
of measures, whether mathematicians regard it as useful, and whether
they are prepared to interact directly with it. The project
(EP/P017320/1) will run from May, 2017 – October, 2018.