probabilistic guarantee

Conformalized Answer Set Prediction for Knowledge Graph Embedding NAACL 2025 CUPS: Improving Human Pose-Shape Estimators with Conformalized Deep Uncertainty ICML 2025 Probably Approximately Global Robustness Certification ICML 2025 Quantifying Prediction Consistency Under Fine-tuning Multiplicity in Tabular LLMs ICML 2025 Support is All You Need for Certified VAE Training ICLR 2025 Adaptive Sampling for Efficient Softmax Approximation NeurIPS 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees AAAI 2024 Simplifying Complex Observation Models in Continuous POMDP Planning with Probabilistic Guarantees and Practice AAAI 2024 Kernel-Matrix Determinant Estimates from stopped Cholesky Decomposition JMLR 2023 More for Less: Safe Policy Improvement with Stronger Performance Guarantees IJCAI 2023 Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees ICML 2023 GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022 Noise Robust Core-stable Coalitions of Hedonic Games ACML 2022 Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise AAAI 2022 Active Safety Envelopes using Light Curtains with Probabilistic Guarantees RSS 2021 Chance-constrained quasi-convex optimization with application to data-driven switched systems control L4DC 2021 Probabilistic Robustness Quantification of Neural Networks AAAI 2021 Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples L4DC 2021 Estimating Reachable Sets with Scenario Optimization L4DC 2020 Robustness Guarantees for Bayesian Inference with Gaussian Processes AAAI 2019 Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives IJCAI 2018 High Confidence Policy Improvement ICML 2015