Lab news
Invited talk at CILC 2026
Eleonora will give an invited talk at CILC 2026, the 41st Italian Conference on Computational Logic.
Pythagoras-Prover released!
🚀 We are thrilled to announce the release of Pythagoras-Prover — a compute-efficient family of Lean theorem provers! Strong results at just 4B parameters, powered by Augmented Lean Formalisation. The models are now available on Hugging Face 🤗
Talk at OxBridge Women in CS Conference
On 9 May, Eleonora spoke at the OxBridge Women in CS Conference — a particularly special one for her, as she was herself an OxWoCS member during her PhD!
Paper accepted at ICML 2026
Our paper Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models has been accepted at ICML 2026.
Paper accepted at ACL (Findings)
Our paper PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains has been accepted at ACL (Findings) 2026.
Joshua joins MBZUAI as visiting student
Joshua is joining MBZUAI as a visiting student, where he will be working on Theorem Proving with LLMs. Please contact him if you want to collaborate!
Survey published in TMLR
Our survey A Survey on Deep Learning Approaches for Tabular Data Generation has been published in Transactions on Machine Learning Research (TMLR).
Frontiers in AI invited talk at ECAI 2025
Eleonora gave one of the Frontiers in AI invited talks at ECAI 2025.
AI for Math Fund
Eleonora has been awarded an AI for Math grant. Read more here
Paper published at ECAI 2025
Eleonora’s paper A Posteriori Verification or a Priori Design? Navigating Requirements-Driven Deep Learning has been published at ECAI 2025.