Picture for Ivan Ruchkin

Ivan Ruchkin

Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving

Add code
May 02, 2024
Viaarxiv icon

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models

Add code
Apr 02, 2024
Viaarxiv icon

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers

Add code
Nov 08, 2023
Viaarxiv icon

Curating Naturally Adversarial Datasets for Trustworthy AI in Healthcare

Add code
Sep 01, 2023
Viaarxiv icon

Distributionally Robust Statistical Verification with Imprecise Neural Networks

Add code
Aug 30, 2023
Viaarxiv icon

How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy

Add code
Aug 23, 2023
Viaarxiv icon

Causal Repair of Learning-enabled Cyber-physical Systems

Add code
Apr 26, 2023
Viaarxiv icon

Confidence Composition for Monitors of Verification Assumptions

Add code
Nov 03, 2021
Figure 1 for Confidence Composition for Monitors of Verification Assumptions
Figure 2 for Confidence Composition for Monitors of Verification Assumptions
Viaarxiv icon