Verifiable abstention makes AI leak diagnosis accountable in urban water distribution networks

Leakage-audited machine learning versus ETAS for earthquake forecasting in the Sea of Marmara

ALIVE: Warnings Before Exclusion in Budgeted Multi-Source Learning

Together these results map a restraint--power--cost--utility boundary: the action contract controls a defined persistent decision, while net value depends on evidence margin, audit cost, and budget regime.

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 samp...

Beyond Local Accuracy: A Protocol-Level Identifiability Audit for Controlled LLM Reasoning Evaluation

This case shows how evaluation-design validity can be checked structurally before model inference and why base correctness does not determine intervention-response fidelity.

Post-Hoc Trajectory-Risk Certification for Modular LLM-Based Security Agents

This work distinguishes whether stages are dependent from whether an audit sample is large enough to certify that dependence, and gives matching upper and information-theoretic lower sample-complexity bounds, and shows that coarse-to-fine label selection can create near-perfect measured correlation without learned depe...

Audited Selective Verification for Risk-Controlled N-1 Thermal Contingency Screening under Deployment Shift

Real-time N-1 contingency screening in an energy management system trades assurance against cost: verifying every credible outage with full power flow is too slow, while fast linear-sensitivity screening gives no statistical guarantee and can silently pass unsafe operating points, especially when a controller drives th...