Picture for Sanjit Seshia

Sanjit Seshia

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Add code
May 10, 2024
Viaarxiv icon

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation

Add code
Dec 01, 2021
Figure 1 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 2 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 3 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 4 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Viaarxiv icon

Entropy-Guided Control Improvisation

Add code
Mar 09, 2021
Figure 1 for Entropy-Guided Control Improvisation
Figure 2 for Entropy-Guided Control Improvisation
Figure 3 for Entropy-Guided Control Improvisation
Figure 4 for Entropy-Guided Control Improvisation
Viaarxiv icon

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

Add code
Nov 30, 2020
Figure 1 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Figure 2 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Figure 3 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Viaarxiv icon

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

Add code
Dec 01, 2019
Figure 1 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 2 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 3 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Figure 4 for A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors
Viaarxiv icon

Generating Semantic Adversarial Examples with Differentiable Rendering

Add code
Oct 02, 2019
Figure 1 for Generating Semantic Adversarial Examples with Differentiable Rendering
Figure 2 for Generating Semantic Adversarial Examples with Differentiable Rendering
Figure 3 for Generating Semantic Adversarial Examples with Differentiable Rendering
Figure 4 for Generating Semantic Adversarial Examples with Differentiable Rendering
Viaarxiv icon