Tsui-Wei Weng

Efficient Neural Network Robustness Certification with General Activation Functions

2018 · 172 Zit. · DSpace@MIT (Massachusetts Institute of Technology)

Prediction without Preclusion: Recourse Verification with Reachable Sets

2023 · 1 Zit. · arXiv (Cornell University)

Resting Neurons, Active Insights: Improving Input Sparsification for Large Language Models

2025 · 0 Zit. · ArXiv.org