11 citations · 13 across the 9 of their papers we have counts for
11 papers
Quantum Computing for Network Security Classification: Near-Term Classification and Long-Term Memory Efficiency
Yuqing Li, Poonam Bala Nehru, Yunpeng Zhang +4
Quantum computing has already been explored in several network-security applications. However, how quantum computing may contribute to network-security classification in both the n…
Empirical Scaling Laws of Quantum Vision Transformers
Yuqing Li, Fengyi Gao, Xin Jin +3
Quantum machine learning (QML) is a promising application of quantum computing, yet when and how practical learning models can achieve quantum advantage remains poorly understood.…
Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
Yuqing Li, Zeguan Wu, Yu Gan +1
Designing effective Lean proof agents is a central challenge in formal mathematical reasoning. Beyond building stronger provers, recent work emphasizes the workflow around Lean: ho…
When AI meets quantum information: A comprehensive review
Min Chen, Yu Gan, Xin Jin +15
Artificial intelligence (AI) and quantum information (QI) are rapidly co-evolving. AI is becoming a practical tool for learning, designing, controlling, and verifying quantum syste…
Benchmarking and Resource Analysis for Augmented-Lagrangian Quantum Hamiltonian Descent
Zeguan Wu, Mingze Li, Muqing Zheng +6
Quantum Hamiltonian Descent (QHD) is a continuous optimization algorithm based on simulating a time-dependent quantum Hamiltonian whose potential energy encodes the objective funct…
Infeasibility Aware Large Language Models for Combinatorial Optimization
Yakun Wang, Min Chen, Zeguan Wu +3
Large language models (LLMs) are increasingly explored for NP-hard combinatorial optimization problems, but most existing methods emphasize feasible-instance solution generation an…
An Analytic Theory of Quantum Imaginary Time Evolution
Min Chen, Bingzhi Zhang, Quntao Zhuang +1
Quantum imaginary time evolution (QITE) algorithm is one of the most promising variational quantum algorithms (VQAs), bridging the current era of Noisy Intermediate-Scale Quantum d…
Symbolic Analysis of Grover Search Algorithm via Chain-of-Thought Reasoning and Quantum-Native Tokenization
Min Chen, Jinglei Cheng, Pingzhi Li +3
Understanding the high-level conceptual structure of quantum algorithms from their low-level circuit representations is a critical task for verification, debugging, and education.…
GroverGPT: A Large Language Model with 8 Billion Parameters for Quantum Searching
Haoran Wang, Pingzhi Li, Min Chen +3
Quantum computing is an exciting non-Von Neumann paradigm, offering provable speedups over classical computing for specific problems. However, the practical limits of classical sim…
Enhancing Quantum Security over Federated Learning via Post-Quantum Cryptography
Pingzhi Li, Tianlong Chen, Junyu Liu
Federated learning (FL) has become one of the standard approaches for deploying machine learning models on edge devices, where private training data are distributed across clients,…
Q-Newton: Hybrid Quantum-Classical Scheduling for Accelerating Neural Network Training with Newton's Gradient Descent
Pingzhi Li, Junyu Liu, Hanrui Wang +1
Optimization techniques in deep learning are predominantly led by first-order gradient methodologies, such as SGD. However, neural network training can greatly benefit from the rap…