3 citations · 3 across the 4 of their papers we have counts for
6 papers
Harnessing problem structure for end-to-end quantum speed-ups
Qifan Jiang, Xiao-Ming Zhang, Debin Xiang +3
Quantum algorithms can offer substantial computational speed-ups, yet these advantages may disappear once the cost of structure-agnostic classical data encoding is taken into accou…
Shared Phase Arithmetic for Parallel Quantum Rotations
Anbang Wu, Liqiang Lu, Pu Pang +3
A layer of diagonal quantum gates can be specified by an integer-valued function on computational basis states. This description suggests implementing the layer by evaluating that…
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zhongyi Wang, Tengjie Lin, Mingshuai Chen +9
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language models (LLMs) have recently demonstrated thei…
VERIRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning
Fu Teng, Miao Pan, Xuhong Zhang +6
Recent advancements in code generation have shown remarkable success across software domains, yet hardware description languages (HDLs) such as Verilog remain underexplored due to…
Experimental realization of the bucket-brigade quantum random access memory
Fanhao Shen, Yujie Ji, Debin Xiang +20
Quantum random access memory (QRAM) enables efficient classical data access for quantum computers -- a prerequisite for many quantum algorithms to achieve quantum speedup. Despite…
Choco-Q: Commute Hamiltonian-based QAOA for Constrained Binary Optimization
Debin Xiang, Qifan Jiang, Liqiang Lu +2
Constrained binary optimization aims to find an optimal assignment to minimize or maximize the objective meanwhile satisfying the constraints, which is a representative NP problem…