Example-Driven Machine-Human Collaboration in Mathematics

StatusFinished
Effective start/end date1/06/1731/05/19

Funding

  • Engineering and Physical Sciences Research Council (EP/P017320/1): £99,932.00