论文信息 - Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues - 字舞流文

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

H. Geuvers | J. Corneli | A. Pease | U. Martin | Dave Murray-Rust | Florian Rabe | O. Teschke | M. England | O. Hasan