@article{
dang2026verification,
title={Verification and Training of Neural Networks for Robustness Against Neuron Pruning},
author={Hue Dang and Nguyen Duc Anh Pham and Hung Manh Pham and Andrea Patane and David Gregg and Goetz Botterweck},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=6m3LtUZwvF},
note={}
}