Clark Barrett

2 papers in the IJCAI proceedings

IJCAI 2026

Lookahead Branching for Neural Network Verification

with Liam Davis, Duo Zhou, Huan Zhang, Guy Katz, Haoze Wu

doi:10.24963/ijcai.2026/59

Details PDF

IJCAI 2021

Politeness for the Theory of Algebraic Datatypes (Extended Abstract)

with Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine

doi:10.24963/ijcai.2021/660

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings