Leo, Kevin

3 publications

ICLR 2026 MATA: A Trainable Hierarchical Automaton System for Multi-Agent Visual Reasoning Zhixi Cai, Fucai Ke, Kevin Leo, Sukai Huang, Maria Garcia de la Banda, Peter J. Stuckey, Hamid Rezatofighi

AAAI 2024 Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace

IJCAI 2015 Multi-Pass High-Level Presolving Kevin Leo, Guido Tack