Local Violation Certification for Linear Predict-Then-Optimize Pipelines
This work mathematically demonstrates that standard sampling methods fail efficiently for rare violations, motivating a direct structural approach and introduces an exact sampling procedure and closed-form risk statistics that provide feature-level attributions without requiring repetitive random trials or complex sampling algorithms.