"safety-critical applications" Papers
10 papers found
Don’t Forget the Enjoin: FocalLoRA for Instruction Hierarchical Alignment in Large Language Models
Zitong Shi, Guancheng Wan, Haixin Wang et al.
NeurIPS 2025poster
Safety Representations for Safer Policy Learning
Kaustubh Mani, Vincent Mai, Charlie Gauthier et al.
ICLR 2025posterarXiv:2502.20341
1
citations
Support is All You Need for Certified VAE Training
Changming Xu, Debangshu Banerjee, Deepak Vasisht et al.
ICLR 2025posterarXiv:2504.11831
Adaptive Bounding Box Uncertainties via Two-Step Conformal Prediction
Alexander Timans, Christoph-Nikolas Straehle, Kaspar Sakmann et al.
ECCV 2024posterarXiv:2403.07263
18
citations
Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing
Alaa Anani, Tobias Lorenz, Bernt Schiele et al.
ICML 2024poster
A Provable Decision Rule for Out-of-Distribution Detection
Xinsong Ma, Xin Zou, Weiwei Liu
ICML 2024poster
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction
Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel
AAAI 2024paperarXiv:2303.01141
7
citations
Pseudo-Calibration: Improving Predictive Uncertainty Estimation in Unsupervised Domain Adaptation
Dapeng Hu, Jian Liang, Xinchao Wang et al.
ICML 2024poster
Rethinking Robustness of Model Attributions
Sandesh Kamath, Sankalp Mittal, Amit Deshpande et al.
AAAI 2024paperarXiv:2312.10534
2
citations
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
ICML 2024poster