Example-Driven Machine-Human Collaboration in Mathematics

Filter
Conference contribution

Search results

  • 2017

    Modelling the way mathematics is actually done

    Corneli, J., Martin, U., Murray-Rust, D., Pease, A., Puzio, R. & Nesin, G. R., 9 Sept 2017, FARM 2017: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. New York: Association for Computing Machinery (ACM), p. 10-19 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Citations (Scopus)
    820 Downloads (Pure)
  • Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

    Corneli, J. (Lead / Corresponding author), Martin, U., Murray-Rust, D. & Pease, A., 28 Jun 2017, Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Proceedings. Switzerland: Springer Verlag, Vol. 10383. p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10383 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)