Picture for Sasa Misailovic

Sasa Misailovic

University of Illinois at Urbana-Champaign

Is Watermarking LLM-Generated Code Robust?

Add code
Mar 24, 2024
Viaarxiv icon

Improving LLM Code Generation with Grammar Augmentation

Add code
Mar 03, 2024
Figure 1 for Improving LLM Code Generation with Grammar Augmentation
Figure 2 for Improving LLM Code Generation with Grammar Augmentation
Figure 3 for Improving LLM Code Generation with Grammar Augmentation
Figure 4 for Improving LLM Code Generation with Grammar Augmentation
Viaarxiv icon

Incremental Randomized Smoothing Certification

Add code
May 31, 2023
Figure 1 for Incremental Randomized Smoothing Certification
Figure 2 for Incremental Randomized Smoothing Certification
Figure 3 for Incremental Randomized Smoothing Certification
Figure 4 for Incremental Randomized Smoothing Certification
Viaarxiv icon

Incremental Verification of Neural Networks

Add code
Apr 04, 2023
Figure 1 for Incremental Verification of Neural Networks
Figure 2 for Incremental Verification of Neural Networks
Figure 3 for Incremental Verification of Neural Networks
Figure 4 for Incremental Verification of Neural Networks
Viaarxiv icon

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos

Add code
Aug 09, 2022
Figure 1 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 2 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 3 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 4 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Viaarxiv icon

Training Certifiably Robust Neural Networks Against Semantic Perturbations

Add code
Jul 22, 2022
Figure 1 for Training Certifiably Robust Neural Networks Against Semantic Perturbations
Figure 2 for Training Certifiably Robust Neural Networks Against Semantic Perturbations
Figure 3 for Training Certifiably Robust Neural Networks Against Semantic Perturbations
Figure 4 for Training Certifiably Robust Neural Networks Against Semantic Perturbations
Viaarxiv icon

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Add code
Nov 10, 2021
Figure 1 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 2 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 3 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 4 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Viaarxiv icon