Optimal Counterfactual Explanations for Random Forests with MaxSAT. - Alesya Raevskaya; Tuomo Lehtonen (ECAI, 2025)

Brief Announcement: It Does Not Matter How You Define Locally Checkable Labelings. - Antonio Cruciani; Avinandan Das; Alesya Raevskaya; Jukka Suomela (PODC, 2026)

Brief Announcement: 2-Coloring Cycles in One Round. - Maxime Flin; Alesya Raevskaya; Ronja Stimpert; Jukka Suomela; Qingxin Yang (PODC, 2026)

It does not matter how you define locally checkable labelings. - Antonio Cruciani; Avinandan Das; Alesya Raevskaya; Jukka Suomela (CoRR, 2026)

2-Coloring Cycles in One Round. - Maxime Flin; Alesya Raevskaya; Ronja Stimpert; Jukka Suomela; Qingxin Yang (CoRR, 2026)