Compositional Neural Network Verification via Assume-Guarantee Reasoning - Duong, Hai; Shriver, David; Nguyen, ThanhVu; Dwyer, Matthew (Advances in Neural Information Processing Systems, 2025)