Author

Zhantong Xue

Observed name: Xue, Zhantong

Institutions: Chinese Academy of Sciences, Hong Kong University of Science and Technology, Institute of Software, The Hong Kong University of Science and Technology (Guangzhou)

Observed institutions: Chinese Academy of Sciences, Hong Kong University of Science and Technology, Institute of Software, The Hong Kong University of Science and Technology (Guangzhou)

ORCID: 0009-0000-3419-9431

Observed ORCID: 0009-0000-3419-9431

OpenAlex ID: A5120641627

AutoSpec: Safety Rule Evolution for LLM Agents via Inductive Logic Programming

2026 · Ma, Pingchuan, Wang, Zhaoyu, et al. · arXiv (Cornell University) · 2

From Shield to Target: Denial-of-Service Attacks on LLM-Based Agent Guardrails

2026 · Zhou, Yuguang, Wang, Xunguang, et al. · arXiv (Cornell University) · 2

Decompiling Quantum Assembly into Structured Programs

2026 · Ma, Pingchuan, Xue, Zhantong, et al. · arXiv (Cornell University)

Well-Typed ComfyUI Cannot Go Wrong: Gradual Refinement Types for Generative-AI Workflow Graphs

2026 · Ma, Pingchuan, Xue, Zhantong, et al. · arXiv (Cornell University)

Artifact for "Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits"

2026 · Zhantong Xue · Figshare

Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits

2026 · Xue, Zhantong, Ma, Pingchuan, et al. · arXiv (Cornell University)

ZK-Value: A Practical Zero-Knowledge System for Verifiable Data Valuation

2026 · Wang, Zhaoyu, Ma, Pingchuan, et al. · arXiv (Cornell University)

Privacy-preserving and Verifiable Causal Prescriptive Analytics

2025 · Zhaoyu Wang, Pingchuan Ma, et al. · Proceedings of the ACM on Management of Data

Works count: 8

Citation count: 4

H-index: 2

I10-index: