https://ml4sp.github.io/2025/
Machine Learning for Solvers and Provers (ML4SP)
JMS 630 (please watch for possible last-minute room changes onsite) James McCune Smith Learning Hub, University of Glasgow, Glasgow, Scotland Sunday, 10...
machine learningsolversprovers