27 citations · 32 across the 10 of their papers we have counts for
10 papers
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…
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 Parameterised Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +4
Parameterised quantum circuits (PQCs) hold great promise for demonstrating quantum advantages in practical applications of quantum computation. Examples of successful applications…
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…
Phase Analysis on the Error Scaling of Entangled Qubits in a 53-Qubit System
Wei-Jia Huang, Wei-Chen Chien, Chien-Hung Cho +6
We have studied carefully the behaviors of entangled qubits on the IBM Rochester with various connectivities and under a "noisy" environment. A phase trajectory analysis based on o…
Mermin's Inequalities of Multiple qubits with Orthogonal Measurements on IBM Q 53-qubit system
Wei-Jia Huang, Wei-Chen Chien, Chien-Hung Cho +3
Entanglement properties of IBM Q 53 qubit quantum computer are carefully examined with the noisy intermediate-scale quantum (NISQ) technology. We study GHZ-like states with multipl…