Two papers I contributed to (On Performance Guarantees for Symbolic Search in Classical Planning and Merging Cartesian Abstractions for Classical Planning) were accepted at ECAI 2025.