Fang, Wang
- VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
2022/06/22 by Kean Chen, Wang Fang, Chen, Kean +13 · 6 citations
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics
- VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models
2024/07/18 by Lin, Yanling, Guan, Ji, Fang, Wang +2 · 3 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits
2023/11/07 by Fang, Wang, Ying, Mingsheng · 2 citations
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- Efficient Formal Verification of Quantum Error Correcting Programs
2025/04/10 by Huang, Qifan, Zhou, Li, Fang, Wang +2 · 4 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Programming Languages (cs.PL) #Quantum Physics (quant-ph)
- Verifying Fault-Tolerance of Quantum Error Correction Codes
2025/01/24 by Chen, Kean, Liu, Yuhao, Fang, Wang +5 · 2 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Optimal Quantum Algorithm for Estimating Fidelity to a Pure State
2025/06/30 by Fang, Wang, Wang, Qisheng · 3 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Information Theory (cs.IT) #Quantum Physics (quant-ph)