Researchers receive £114k For new AI project

Posted on Thursday 25 September 2025

Assistant Professors Pedro Riberio and Frank Soboczenski will work on the £114k Large Language Models For Lattice-Theoretic Reasoning of Reactive Programs project which is aimed at moving forward AI for mathematical reasoning.

Dr Ribeiro describes what impact he hopes his work will have. He says: “The project focuses on exploiting state-of-the-art AI techniques to automatically prove mathematical conjectures at the core of checking that software behaves as intended. Finding that a conjecture does not hold is just as critical at the design stage, helping to identify mistakes before wider public deployment. 

“The project has the potential to change the playing field in terms of automation available to practitioners to engineer safe, ethical and secure robotic systems.”

The Fund has announced a total of $18 million in grants, one of the largest ever philanthropic commitments supporting the development of AI and machine learning-based tools to advance mathematics. 

The Fund’s first 29 winning projects include mathematicians and researchers at universities and organisations working to develop systems that help advance mathematical discovery and research across several key tasks.