Mathematics for AI Interest Group
Welcome to the Maths-AI Group, an interest group on Mathematical Foundations of AI. This page is under development and will be populated soon.
In the meantime, you may consider joining us for EuroProof net workshop on using machine learning and large language models in Mathematical proofs: https://europroofnet.github.io/wg5-edinburgh25/