100 citations · 314 across the 34 of their papers we have counts for
4 papers · 1 filter
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
Avishree Khare, Saikat Dutta, Ziyang Li +3
While automated vulnerability detection techniques have made promising progress in detecting security vulnerabilities, their scalability and applicability remain challenging. The r…
Stability Guarantees for Feature Attributions with Multiplicative Smoothing
Anton Xue, Rajeev Alur, Eric Wong
Explanation methods for machine learning models tend not to provide any formal guarantees and may not reflect the underlying decision-making process. In this work, we analyze stabi…
Policy Synthesis and Reinforcement Learning for Discounted LTL
Rajeev Alur, Osbert Bastani, Kishor Jothimurugan +3
The difficulty of manually specifying reward functions has led to an interest in using linear temporal logic (LTL) to express objectives for reinforcement learning (RL). However, L…
Robust Subtask Learning for Compositional Generalization
Kishor Jothimurugan, Steve Hsu, Osbert Bastani +1
Compositional reinforcement learning is a promising approach for training policies to perform complex long-horizon tasks. Typically, a high-level task is decomposed into a sequence…