This work presents Quelle, a decompiler that recovers structured programs from routed and optimized quantum assembly (OpenQASM) and checks every output for equivalence with its input, and fully decompiles 94% of them.
Pingchuan Ma, Zhan-Tong Xue, Zong-Jie Li et al.· 0 citations
Large language models (LLMs) exhibit impressive capabilities but are susceptible to adversarial attacks that induce harmful outputs. Although various defenses have been proposed, their practicality is restricted by substantial runtime overhead or degraded model helpfulness. Moreover, LLM applications typically have div...
Zhenlan Ji, Dao-Yuan Wu, Wen-Xuan Wang et al.· Proceedings of the ACM on So...· 0 citations
This paper organizes methods by prediction target, prediction granularity, encoder, structural decoder, and training regime to relate what each method predicts to how it uses data and simulator-based supervision, and distinguishes two questions: whether the target is identifiable under the assumed model class and wheth...
Pingchuan Ma, Rui Ding, Bojun Huang et al.· 0 citations
RBwA, a memory-efficient and sample-efficient progressive sampling algorithm for IM-PC and a memory-efficient rounding scheme called BwARound for coverage maximization subroutines, which only requires storing one fractional vector and takes maximal feasible steps rather than tiny ε-increments, are proposed.
Qixin Zhang, Qirun Zeng, Hui Lu et al.· Proceedings of the 32nd ACM...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.