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.