2 citations · 3 across the 2 of their papers we have counts for
6 papers
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh +4
We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable us…
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4
Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…
Quantum-Enhanced Parameter-Efficient Learning for Typhoon Trajectory Forecasting
Chen-Yu Liu, Kuan-Cheng Chen, Yi-Chien Chen +4
Typhoon trajectory forecasting is essential for disaster preparedness but remains computationally demanding due to the complexity of atmospheric dynamics and the resource requireme…
Differentiable Quantum Architecture Search in Quantum-Enhanced Neural Network Parameter Generation
Samuel Yen-Chi Chen, Chen-Yu Liu, Kuan-Cheng Chen +3
The rapid advancements in quantum computing (QC) and machine learning (ML) have led to the emergence of quantum machine learning (QML), which integrates the strengths of both field…
Federated Quantum-Train Long Short-Term Memory for Gravitational Wave Signal
Chen-Yu Liu, Samuel Yen-Chi Chen, Kuan-Cheng Chen +2
We present Federated QT-LSTM, a novel framework that combines the Quantum-Train (QT) methodology with Long Short-Term Memory (LSTM) networks in a federated learning setup. By lever…
Programming Variational Quantum Circuits with Quantum-Train Agent
Chen-Yu Liu, Samuel Yen-Chi Chen, Kuan-Cheng Chen +2
In this study, the Quantum-Train Quantum Fast Weight Programmer (QT-QFWP) framework is proposed, which facilitates the efficient and scalable programming of variational quantum cir…