Convex Bounds on the Softmax Function with Applications to Robustness Verification
- Dennis Wei
- Haoze Wu
- et al.
- 2023
- AISTATS 2023
Conference paper
Publications
90 results for Uncertainty Quantification
Combining Data and Theory for Derivable Scientific Discovery with AI-Descartes
- Cristina Cornelio
- Sanjeeb Dash
- et al.
- 2023
- Nature Communications
PaperPost-hoc Uncertainty Learning using a Dirichlet Meta-Model
- Maohao Shen
- Yuheng Bu
- et al.
- 2023
- AAAI 2023
PosterKnowledge-augmented Risk Assessment (KaRA): a hybrid-intelligence framework for supporting knowledge-intensive risk assessment of prospect candidate
- Carlos Raoni De Alencar Mendes
- Emilio Ashton Vital Brazil
- et al.
- 2023
- AAAI 2023
Workshop paperOptimization with Constraint Learning
- S. Ilker Birbil
- Donato Maragno
- et al.
- 2023
- AAAI 2023
TutorialIdentifying Extreme Regimes in Climate-Scale Digital Twins: a Roadmap
- 2022
- Big Data 2022
Workshop paperToward Human-AI Co-creation to Accelerate Material Discovery
- Dmitry Zubarev
- Carlos Raoni De Alencar Mendes
- et al.
- 2022
- NeurIPS 2022
Workshop paperAre you using test log-likelihoods correctly?
- Sameer Deshpande
- Soumya Ghosh
- et al.
- 2022
- NeurIPS 2022
Workshop paperFair Infinitesimal Jackknife: Mitigating the Influence of Biased Training Data Points Without Refitting
- Prasanna Sattigeri
- Soumya Ghosh
- et al.
- 2022
- NeurIPS 2022
Conference paperLogical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2022
- NeurIPS 2022
Conference paper