Author

Ze-Guan Wu

h-index 1 View on Semantic Scholar

We have 2 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Quantum Computing for Network Security Classification: Near-Term Classification and Long-Term Memory Efficiency

Evaluating near-term quantum-kernel support vector machines on practical network-security classification tasks and using quantum oracle sketching (QOS) to study a longer-term memory advantage for classification with streaming classical samples shows how quantum computing may contribute to network-security classificatio...

Yu-Qing Li, Poonam Bala Nehru, Yun-Peng Zhang et al. · 0 citations

Preprint Jul 2026

Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution

Designing effective Lean proof agents is a central challenge in formal mathematical reasoning. Beyond building stronger provers, recent work emphasizes the workflow around Lean: how an agent decomposes proof obligations, uses tools and compiler feedback, diagnoses failures, repairs proofs, and maintains structured proo...

Yuqing Li, Zeguan Wu, Yu Gan et al. · 0 citations