Adrien Pommellet delivered a contributed talk entitled "Around SAT-based Learning of Logical Formulas" at the Workshop on Learning and Logic (LeaLog@CSL), held on February 10, 2025, at CWI (Science Park, Amsterdam), as part of the CSL 2025 conference.