Announcement_24

Our work Linear-time rule mining under formal guarantees has been accepted for publication in NeurIPS 2026. Special thanks to Jonathan Feldstein and Dominic Phillips :sparkles: