58 citations · 112 across the 61 of their papers we have counts for
7 papers · 2 filters
LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers
Jingyu Hu, Shu Yang, Weiru Liu +1
Chain-of-Thought (CoT) reasoning has been shown to improve the performance of large language models (LLMs), yet existing optimization methods largely rely on outcome-based feedback…
Mitigating Reasoning-Induced Misalignment via Safety-Direction Penalty
Yipeng Zhao, Qishun Yang, Shenzhe Zhu +2
Reasoning-Induced Misalignment, where fine-tuning on reasoning data containing no harmful content, including mathematics, code, and problem-solving with chain-of-thought traces can…
Unanimity Without Persuasion: A Single Round of Debate Erases the Disagreement That Verification Needs
Yang Shu
A debate panel can become unanimous without becoming more correct. This is dangerous for downstream safeguards: a substituted verification ballot can change only narrow-margin vote…
When Verifiers Vote Backwards under Verdict Substitution: Signed Pivotal Value in Correlated Self-Consistency
Yang Shu
Replacing one ballot can change a majority decision only on queries decided by a single vote; this structural fact requires no independence assumption. We study the sign of that ch…
Blind to the Pivotal Vote: Aggregate Independence Metrics Miss Where Verification Actually Helps
Yang Shu
LLM judge panels are a standard evaluation tool, but prior work reports highly correlated panel errors: nine judges provide roughly the effective information of two independent one…
AISPA: User-Centric System Prompt Auditing for Large Language Model Applications
Xiangning Lin, Shenzhe Zhu, Shu Yang +23
System prompts are instructions configured by developers to govern the behaviors of foundation models in AI applications. They are used throughout commercial AI products, but are r…
STARS: Skill-Triggered Audit for Request-Conditioned Invocation Safety in Agent Systems
Guijia Zhang, Shu Yang, Xilin Gong +1
Autonomous language-model agents increasingly rely on installable skills and tools to complete user tasks. Static skill auditing can expose capability surface before deployment, bu…