Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening. - Philip Sosnin; Calvin Tsay (CDC, 2024)

Certified Robustness to Data Poisoning in Gradient-Based Training. - Philip Sosnin; Mark Niklas Müller; Maximilian Baader; Calvin Tsay; Matthew Wicker (CoRR, 2024)

Certificates of Differential Privacy and Unlearning for Gradient-Based Training. - Matthew Wicker; Philip Sosnin; Adrianna Janik; Mark N. Müller; Adrian Weller; Calvin Tsay (CoRR, 2024)