11 citations · 13 across the 9 of their papers we have counts for
6 papers · 1 filter
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…