The AI4Maths initiative strives to establish a collaborative network bridging academia and industry to advance mathematical reasoning with the assistance of AI. The objective is to develop open collaborations with researchers, students and engineers proficient in mathematics, formal verification and AI. In particular, the initiative aims to focus on educated datasets augmentation, human supervision and formalization/informalization.
We would like to invite everyone passionate about the future of AI and mathematics to join our initiative. If interested, please fill out a short survey to join the effort and make suggestions :
