Exact Certification of Neural Networks and Partition Aggregation Ensembles against Label Poisoning. - Ajinkya Mohgaonkar; Lukas Gosch; Mahalakshmi Sabanayagam; Debarghya Ghoshdastidar; Stephan Günnemann (CoRR, 2026)