Showing 2024Show all
2 papers · 1 filter
cs.LG2024
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
Xiayan Ji, Anton Xue, Eric Wong +2
Anomaly detection is widely used for identifying critical errors and suspicious behaviors, but current methods lack interpretability. We leverage common properties of existing meth…
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…