The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification

Create a diagnostic tool that visualizes the divergence caused by convex relaxation in NN verification. This helps safety researchers debug why their verifiers might yield loose bounds.

Suggested repo: relax-check

"Know exactly when your neural network verifier is lying to you."

Estimated effort: 40h