I gave an invited talk, “Machine Learning Across the Solver Stack,” at the 2nd Workshop on Machine Learning for Solvers and Provers (ML4SP), co-located with FLoC 2026.