Cascaded pyramid network for multi-person pose estimation Y Chen, Z Wang, Y Peng, Z Zhang, G Yu, J Sun Proceedings of the IEEE conference on computer vision and pattern …, 2018 | 1669 | 2018 |
Experimental realization of device-independent quantum randomness expansion MH Li, X Zhang, WZ Liu, SR Zhao, B Bai, Y Liu, Q Zhao, Y Peng, J Zhang, ... Physical Review Letters 126 (5), 050503, 2021 | 54 | 2021 |
Differentiable Analog Quantum Computing for Optimization and Control J Leng, Y Peng, YL Qiao, M Lin, X Wu Advances in Neural Information Processing Systems 35, 4707-4721, 2022 | 14 | 2022 |
Verified compilation of quantum oracles L Li, F Voichick, K Hietala, Y Peng, X Wu, M Hicks Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 589-615, 2022 | 13 | 2022 |
A formally certified end-to-end implementation of Shor’s factorization algorithm Y Peng, K Hietala, R Tao, L Li, R Rand, M Hicks, X Wu Proceedings of the National Academy of Sciences 120 (21), e2218775120, 2023 | 10 | 2023 |
SimuQ: a framework for programming quantum Hamiltonian simulation with analog compilation Y Peng, J Young, P Liu, X Wu Proceedings of the ACM on Programming Languages 8 (POPL), 2425-2455, 2024 | 7* | 2024 |
Algebraic reasoning of quantum programs via non-idempotent Kleene algebra Y Peng, M Ying, X Wu Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 5 | 2022 |
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC) H Deng, Y Peng, M Hicks, X Wu ACM Transactions on Quantum Computing 4 (3), 2023 | 4 | 2023 |
A Case for Synthesis of Recursive Quantum Unitary Programs H Deng, R Tao, Y Peng, X Wu Proceedings of the ACM on Programming Languages 8 (POPL), 1759-1788, 2024 | 2 | 2024 |
Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding J Leng, J Li, Y Peng, X Wu arXiv preprint arXiv:2401.08550, 2024 | 1 | 2024 |
Systems and methods for quantum simulation with analog compilation X Wu, P Yuxiang, J Young US Patent App. 18/140,856, 2024 | | 2024 |
On the Theory and Practice of Invariant-based Verification of Quantum Programs SH Hung, Y Peng, X Wang, S Zhu, X Wu | | |