Saved in:
| Main Authors: | Geng, Yuang, Baldauf, Jake Brandon, Dutta, Souradeep, Huang, Chao, Ruchkin, Ivan |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2311.04843 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models
by: Mao, Zhenjiang, et al.
Published: (2024)
by: Mao, Zhenjiang, et al.
Published: (2024)
Four Principles for Physically Interpretable World Models
by: Peper, Jordan, et al.
Published: (2025)
by: Peper, Jordan, et al.
Published: (2025)
Deterministic World Models for Verification of Closed-loop Vision-based Systems
by: Geng, Yuang, et al.
Published: (2025)
by: Geng, Yuang, et al.
Published: (2025)
Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)
by: Dutta, Souradeep, et al.
Published: (2023)
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)
by: Mao, Zhenjiang, et al.
Published: (2025)
How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy
by: Mao, Zhenjiang, et al.
Published: (2023)
by: Mao, Zhenjiang, et al.
Published: (2023)
Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning
by: Mao, Zhenjiang, et al.
Published: (2026)
by: Mao, Zhenjiang, et al.
Published: (2026)
Physically Interpretable World Models via Weakly Supervised Representation Learning
by: Mao, Zhenjiang, et al.
Published: (2024)
by: Mao, Zhenjiang, et al.
Published: (2024)
Finite-Sample Analysis of Elimination in Active Hypothesis Testing
by: Lin, Ziyuan, et al.
Published: (2026)
by: Lin, Ziyuan, et al.
Published: (2026)
DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models
by: Lin, Vivian, et al.
Published: (2023)
by: Lin, Vivian, et al.
Published: (2023)
Memory-Consistent Neural Networks for Imitation Learning
by: Sridhar, Kaustubh, et al.
Published: (2023)
by: Sridhar, Kaustubh, et al.
Published: (2023)
UMATO: Bridging Local and Global Structures for Reliable Visual Analytics with Dimensionality Reduction
by: Jeon, Hyeon, et al.
Published: (2025)
by: Jeon, Hyeon, et al.
Published: (2025)
Confidence-Aware Multi-Field Model Calibration
by: Zhao, Yuang, et al.
Published: (2024)
by: Zhao, Yuang, et al.
Published: (2024)
Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving
by: Mao, Zhenjiang, et al.
Published: (2024)
by: Mao, Zhenjiang, et al.
Published: (2024)
Conformalized Teleoperation: Confidently Mapping Human Inputs to High-Dimensional Robot Actions
by: Zhao, Michelle, et al.
Published: (2024)
by: Zhao, Michelle, et al.
Published: (2024)
Sparsified Simultaneous Confidence Intervals for High-Dimensional Linear Models
by: Zhu, Xiaorui, et al.
Published: (2023)
by: Zhu, Xiaorui, et al.
Published: (2023)
Stochastic Dimension-Free Zeroth-Order Estimator for High-Dimensional and High-Order PINNs
by: Liang, Zhangyong, et al.
Published: (2026)
by: Liang, Zhangyong, et al.
Published: (2026)
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
by: Geng, Yuang, et al.
Published: (2025)
by: Geng, Yuang, et al.
Published: (2025)
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
by: Waite, Thomas, et al.
Published: (2025)
by: Waite, Thomas, et al.
Published: (2025)
InSQuAD: In-Context Learning for Efficient Retrieval via Submodular Mutual Information to Enforce Quality and Diversity
by: Nanda, Souradeep, et al.
Published: (2025)
by: Nanda, Souradeep, et al.
Published: (2025)
High-Dimensional Confidence Regions in Sparse MRI
by: Hoppe, Frederik, et al.
Published: (2024)
by: Hoppe, Frederik, et al.
Published: (2024)
CONTINA: Confidence Interval for Traffic Demand Prediction with Coverage Guarantee
by: Yang, Chao, et al.
Published: (2025)
by: Yang, Chao, et al.
Published: (2025)
Fair Representation Learning with Controllable High Confidence Guarantees via Adversarial Inference
by: Luo, Yuhong, et al.
Published: (2025)
by: Luo, Yuhong, et al.
Published: (2025)
Computing High-dimensional Confidence Sets for Arbitrary Distributions
by: Gao, Chao, et al.
Published: (2025)
by: Gao, Chao, et al.
Published: (2025)
System-Embedded Diffusion Bridge Models
by: Sobieski, Bartlomiej, et al.
Published: (2025)
by: Sobieski, Bartlomiej, et al.
Published: (2025)
Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
by: Lin, Vivian, et al.
Published: (2025)
by: Lin, Vivian, et al.
Published: (2025)
Robust Classification of High-Dimensional Data using Data-Adaptive Energy Distance
by: Choudhury, Jyotishka Ray, et al.
Published: (2023)
by: Choudhury, Jyotishka Ray, et al.
Published: (2023)
Stochastic-Dimension Frozen Sampled Neural Network for High-Dimensional Gross-Pitaevskii Equations on Unbounded Domains
by: Liang, Zhangyong
Published: (2026)
by: Liang, Zhangyong
Published: (2026)
DiffRed: Dimensionality Reduction guided by stable rank
by: Shukla, Prarabdh, et al.
Published: (2024)
by: Shukla, Prarabdh, et al.
Published: (2024)
Stochastic Dimension Implicit Functional Projections for Exact Integral Conservation in High-Dimensional PINNs
by: Liang, Zhangyong
Published: (2026)
by: Liang, Zhangyong
Published: (2026)
Bridging the Gap Between Natural Language and Market Dynamics via High-Dimensional Representation Learning
by: Jeong, Yujin, et al.
Published: (2026)
by: Jeong, Yujin, et al.
Published: (2026)
Automating Weak Label Generation for Data Programming with Clinicians in the Loop
by: Park, Jean, et al.
Published: (2024)
by: Park, Jean, et al.
Published: (2024)
The Reachability Problem for Neural-Network Control Systems
by: Schilling, Christian, et al.
Published: (2024)
by: Schilling, Christian, et al.
Published: (2024)
Generalized Robust Adaptive-Bandwidth Multi-View Manifold Learning in High Dimensions with Noise
by: Ding, Xiucai, et al.
Published: (2026)
by: Ding, Xiucai, et al.
Published: (2026)
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
by: Hafez, Ahmad, et al.
Published: (2025)
by: Hafez, Ahmad, et al.
Published: (2025)
Low-Dimension-to-High-Dimension Generalization And Its Implications for Length Generalization
by: Chen, Yang, et al.
Published: (2024)
by: Chen, Yang, et al.
Published: (2024)
Incorporating External Controls for Estimating the Average Treatment Effect on the Treated with High-Dimensional Data: Retaining Double Robustness and Ensuring Double Safety
by: Dai, Chi-Shian, et al.
Published: (2025)
by: Dai, Chi-Shian, et al.
Published: (2025)
TrIM: Transformed Iterative Mondrian Forests for Gradient-based Dimension Reduction and High-Dimensional Regression
by: Baptista, Ricardo, et al.
Published: (2024)
by: Baptista, Ricardo, et al.
Published: (2024)
Normalizing Flow to Augmented Posterior: Conditional Density Estimation with Interpretable Dimension Reduction for High Dimensional Data
by: Zeng, Cheng, et al.
Published: (2025)
by: Zeng, Cheng, et al.
Published: (2025)
An Adaptive Dropout Approach for High-Dimensional Bayesian Optimization
by: Huang, Jundi, et al.
Published: (2025)
by: Huang, Jundi, et al.
Published: (2025)
Similar Items
-
Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models
by: Mao, Zhenjiang, et al.
Published: (2024) -
Four Principles for Physically Interpretable World Models
by: Peper, Jordan, et al.
Published: (2025) -
Deterministic World Models for Verification of Closed-loop Vision-based Systems
by: Geng, Yuang, et al.
Published: (2025) -
Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023) -
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)