Search Results for author: Sasa Misailovic

Found 6 papers, 4 papers with code

Is Watermarking LLM-Generated Code Robust?

no code implementations24 Mar 2024 Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic

We present the first study of the robustness of existing watermarking techniques on Python code generated by large language models.

Improving LLM Code Generation with Grammar Augmentation

1 code implementation3 Mar 2024 Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

We present SynCode a novel framework for efficient and general syntactical decoding of code with large language models (LLMs).

Code Generation valid

Incremental Randomized Smoothing Certification

1 code implementation31 May 2023 Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic

We experimentally demonstrate the effectiveness of our approach, showing up to 3x certification speedup over the certification that applies randomized smoothing of the approximate model from scratch.

Incremental Verification of Neural Networks

2 code implementations4 Apr 2023 Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh

Complete verification of deep neural networks (DNNs) can exactly determine whether the DNN satisfies a desired trustworthy property (e. g., robustness, fairness) on an infinite set of inputs or not.

Fairness

GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems

no code implementations3 Aug 2022 Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

GAS's approach also allows for reuse of the perception model when vehicle control and dynamics characteristics are altered during vehicle development, saving significant time.

Management Self-Driving Cars

Provable Defense Against Geometric Transformations

1 code implementation22 Jul 2022 Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

Geometric image transformations that arise in the real world, such as scaling and rotation, have been shown to easily deceive deep neural networks (DNNs).

Autonomous Driving

Cannot find the paper you are looking for? You can Submit a new open access paper.