Author

Zhaoyu Wang

Observed names: Wang, Z., Wang, Zhaoyu

Institutions: Hong Kong University of Science and Technology, The Hong Kong University of Science and Technology (Guangzhou), University of Hong Kong

Observed institutions: University of Illinois Urbana-Champaign, Hong Kong University of Science and Technology, The Hong Kong University of Science and Technology (Guangzhou), University of Hong Kong, Tsinghua University

ORCID: 0009-0009-6892-1264

Observed ORCIDs: 0009-0009-6892-1264, 0000-0001-9883-5521

OpenAlex ID: A5044493129

ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All Tools

2024 · GLM, Team, :, et al. · arXiv (Cornell University) · 184

PDF

Towards Practical Federated Causal Structure Learning

2023 · Zhaoyu Wang, Pingchuan Ma, et al. · Lecture notes in computer science · 14

PDF

Microblog Retrieval Based on Concept-Enhanced Pre-Training Model

2022 · Yashen Wang, Zhaoyu Wang, et al. · ACM Transactions on Knowledge Discovery from Data · 10

Reeq : Testing and Mitigating Ethically Inconsistent Suggestions of Large Language Models with Reflective Equilibrium

2025 · Pingchuan Ma, Zhaoyu Wang, et al. · ACM Transactions on Software Engineering and Methodology · 4

PDF

PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis

2024 · Zhaoyu Wang, Pingchuan Ma, et al. · Proceedings of the ACM on Programming Languages · 3

Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation

2025 · Zhenlan Ji, Pingchuan Ma, et al. · Proceedings of the ACM on software engineering. · 2

PDF

G uardrail : Automated Integrity Constraint Synthesis From Noisy Data

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

Decompiling Quantum Assembly into Structured Programs

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

PDF

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

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

PDF

Scaling Quantum Circuit Optimization via Guided Exploration and Global Context Learning

2026 · Ma, S., Xia, C., et al. · White Rose Research Online (University of Leeds, The University of Sheffield, University of York)

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

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

PDF

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

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

PDF

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

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

PDF

Privacy-preserving and Verifiable Causal Prescriptive Analytics

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

PDF

From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation

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

PDF

Works count: 17

Citation count: 218

H-index: 4

I10-index: 3