AI Meets Quantum: Quantum Algorithms for Knowledge Representation and Learning

Project Member(s): Li, S., Feng, Y., Yu, N.

Funding or Partner Organisation: Beijing Baidu Netcom Science and Technology Co Ltd (Baidu Contract Research)
Beijing Baidu Netcom Science and Technology Co Ltd (Baidu Contract Research)

Start year: 2018

Publications:

Liu, Y, Yang, PF, Zhang, LJ, Wu, ZL & Feng, Y 2023, 'Survey on Robustness Verification of Feedforward Neural Networks and Recurrent Neural Networks', Ruan Jian Xue Bao/Journal of Software, vol. 34, no. 7, pp. 1-33.
View/Download from: Publisher's site

Zhou, X, Feng, Y & Li, S 2023, 'Supervised Learning Enhanced Quantum Circuit Transformation', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 42, no. 2, pp. 437-447.
View/Download from: Publisher's site

Zhou, X, Feng, Y & Li, S 2022, 'Quantum Circuit Transformation: A Monte Carlo Tree Search Framework', ACM Transactions on Design Automation of Electronic Systems, vol. 27, no. 6, pp. 1-27.
View/Download from: Publisher's site

Shi, W-J, Cao, Q-X, Deng, Y-X, Jiang, H-R & Feng, Y 2021, 'Symbolic Reasoning About Quantum Circuits in Coq', Journal of Computer Science and Technology, vol. 36, no. 6, pp. 1291-1306.
View/Download from: Publisher's site

Hong, X, Zhou, X, Li, S, Feng, Y & Ying, M 2020, 'A Tensor Network based Decision Diagram for Representation of Quantum Circuits.', CoRR, vol. abs/2009.02618.

Zhou, X, Li, S & Feng, Y 2020, 'Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 12, pp. 4683-4694.
View/Download from: Publisher's site

FOR Codes: Artificial Intelligence and Image Processing, Computation Theory and Mathematics, Expanding Knowledge in the Information and Computing Sciences, Electronic Information Storage and Retrieval Services, Quantum computation, Theory of computation