News

May 1, 2026

Paper accepted at IJCAI 2026: Uniform Interpolation Closure for Branching Time Temporal Logics, by Renyan Feng, Yisong Wang, Mingsen Deng, and Erman Acar.

May 1, 2026

Paper accepted at ICML 2026: ECSEL: Explainable Classification via Signomial Equation Learning, by Adia Lumadjeng, Ilker Birbil, and Erman Acar.