activity
20192026
most citedEfficient verification of quantum gates with local operations

27 citations · 48 across the 9 of their papers we have counts for

collaborators

9 papers

cs.DB2026

Can Large Language Models Reason about Event-Time Stream-Processing Semantics?

Zhuoxi Wang, Shibo Zheng, Haoyu Zhang

Streaming systems increasingly hand work to large language models (LLMs): writing pipelines, triaging alerts, reading logs. All of it assumes the model knows how event-time stream…

cs.CR2026

0%, 45%, or 99%: A Guardrail's Own Share of the Refusals It Is Credited With

Haoyu Zhang, Xiangchen Guan, Xiao Luo +7

A defended pipeline's refusals have two producers: the guardrail bolted in front of the model, and the model's own alignment. Recovering the split costs nothing, because a guard bl…

cs.CR2026

Decoy Images Amplify Caption-Mediated Defenses Against Encoded Jailbreaks

Haoyu Zhang, Xiangchen Guan, Shibo Zheng +2

We report a counter-intuitive interaction between image inputs and existing black-box defenses on Vision--Language Models (VLMs): pairing an encoded jailbreak prompt with an unrela…

cs.CR2026

Blind, Not Weak: A Best-of-Suite Safety-Utility Frontier for Recover-and-Reguard Defenses Against Encoded VLM Jailbreaks

Haoyu Zhang, Zhuoxi Wang, Shibo Zheng +9

Safety classifiers ("guards") are the dominant black-box defense for vision-language models, yet a guard judges an input's surface form, not its meaning: a harmful request re-encod…

cs.CR2026

Depth, Not Breadth: Best-of-N Jailbreaking Beyond Surface Noise

Haoyu Zhang, Shibo Zheng, Hanwen Liu +9

Best-of-N jailbreaking spends a query budget on surface variation, scrambling and recasing a request until one draw lands. We ask what the same search buys when it wraps a structur…

cs.CR2026

Exposing LLM Safety Gaps Through Mathematical Encoding:New Attacks and Systematic Analysis

Haoyu Zhang, Mohammad Zandsalimy, Shanu Sushmita

Large language models (LLMs) employ safety mechanisms to prevent harmful outputs, yet these defenses primarily rely on semantic pattern matching. We show that encoding harmful prom…

quant-ph2021★ 1 cited

Minimum number of experimental settings required to verify bipartite pure states and unitaries

Yunting Li, Haoyu Zhang, Zihao Li +1

Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum…

quant-ph2019★ 27 cited

Efficient verification of quantum gates with local operations

Huangjun Zhu, Haoyu Zhang

Efficient verification of the functioning of quantum devices is a key to the development of quantum technologies, but is a daunting task as the system size increases. Here we propo…

quant-ph2019★ 20 cited

Implementation of generalized measurements on a qudit via quantum walks

Zihao Li, Haoyu Zhang, Huangjun Zhu

Quantum measurements play a fundamental role in quantum mechanics and quantum information processing, but it is not easy to implement generalized measurements, the most powerful me…