Convex Bounds on the Softmax Function with Applications to Robustness Verification

International Conference on Artificial Intelligence and Statistics (AISTATS), 2023

3 March 2023

Min Wu

ArXiv (abs)PDF HTML Github (620★)

Papers citing "Convex Bounds on the Softmax Function with Applications to Robustness Verification"

9 / 9 papers shown

Rectified SpaAttn: Revisiting Attention Sparsity for Efficient Video Generation

186

25 Nov 2025

Formal Reasoning About Confidence and Automated Verification of Neural Networks

108

10 Nov 2025

Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations

Pablo Carrasco

Gonzalo Muñoz

LLMSV

354

30 Oct 2024

Achieving the Tightest Relaxation of Sigmoids for Formal Verification

Samuel Chevalier

Duncan Starkenburg

Krishnamurthy Dvijotham

292

20 Aug 2024

Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods

440

31 Jul 2024

Certified Robustness to Data Poisoning in Gradient-Based Training

Mark N. Müller

320

09 Jun 2024

Neural Network Verification with Branch-and-Bound for General Nonlinearities

569

31 May 2024

STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers

Daqian Shao

Lukas Fesser

Marta Z. Kwiatkowska

244

28 Nov 2023

On the Robustness of Text VectorizersInternational Conference on Machine Learning (ICML), 2023

172

09 Mar 2023