4 papers
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…