Qifan Huang

According to our database, Qifan Huang authored at least 10 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, April, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, April, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Dataset, March, 2025

Efficient Formal Verification of Quantum Error Correcting Programs.

Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

Proc. ACM Program. Lang., 2025

2024

Real-Time Decoding of Snapshot Compressive Imaging Using Tensor FISTA-Net.

Xiao-Yang Liu, Qifan Huang, Xiaochen Han, Bo Wu, Linghe Kong, Anwar Walid, Xiaodong Wang

IEEE Trans. Neural Networks Learn. Syst., October, 2024

2022

Fault Models in Superconducting quantum circuits.

Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying

CoRR, 2022

2021

An Efficient Geometric Search Algorithm of Pandemic Boundary Detection.

Zhanhao Zhang, Qifan Huang

Algorithms, 2021