activity
20202026
most citedUnderstanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities

14 citations · 16 across the 6 of their papers we have counts for

collaborators
Showing cs.AIShow all

2 papers · 1 filter

cs.AI2026

Temporal Specification Guidance for Text-to-Video Generation

Avishree Khare, Hideki Okamoto, Bardh Hoxha +2

Text-to-video models often generate the visual concepts requested in natural language prompts but fail to satisfy their intended ordering, timing, and persistence requirements. We…

cs.AI2024

Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference

Anton Xue, Avishree Khare, Rajeev Alur +2

We study how to subvert large language models (LLMs) from following prompt-specified rules. We first formalize rule-following as inference in propositional Horn logic, a mathematic…