activity
20242026
most citedLong-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…