Generating and Checking DNN Verification Proofs - Duong, Hai; Nguyen, ThanhVu; Dwyer, Matthew (Advances in Neural Information Processing Systems, 2025)