You are about to access our book library "First Symposium on Artificial Intelligence for Mathematics Education. Book of Abstracts (AI4ME 2020) full version" .