Over time, we will provide additional computational resources, tutorials, datasets, evaluations, and training and technical support.
Resources
While numeric and symbolic computation have long been mechanized, ICARM focuses on computational technologies that can assist mathematical reasoning and discovery more broadly — formalization and interactive theorem proving, automated reasoning and symbolic AI, and machine learning and neural AI.
New technologies for mathematics
ICARM aims to help mathematical researchers leverage new computational technologies for reasoning and discovery. Our resource pages provide survey overviews, notable examples, and links to online resources, tutorials, and communities.