26 citations · 26 across the 2 of their papers we have counts for
2 papers
quant-ph2023
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +5
With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introdu…
cs.LG2020★ 26 cited
Trust-Region Method with Deep Reinforcement Learning in Analog Design Space Exploration
Kai-En Yang, Chia-Yu Tsai, Hung-Hao Shen +6
This paper introduces new perspectives on analog design space search. To minimize the time-to-market, this endeavor better cast as constraint satisfaction problem than global optim…