Zhaoyu Wang

According to our database, Zhaoyu Wang authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Zhantong Xue, Pingchuan Ma, Zhaoyu Wang, Shuai Wang

CoRR, September, 2025

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

Zhenlan Ji, Pingchuan Ma, Zongjie Li, Zhaoyu Wang, Shuai Wang

Proc. ACM Softw. Eng., 2025

Privacy-preserving and Verifiable Causal Prescriptive Analytics.

Zhaoyu Wang, Pingchuan Ma, Zhantong Xue, Yanbo Dai, Zhenlan Ji, Shuai Wang

Proc. ACM Manag. Data, 2025

Guardrail: Automated Integrity Constraint Synthesis From Noisy Data.

Pingchuan Ma, Zhaoyu Wang, Zhenlan Ji, Zongjie Li, Ao Sun, Shuai Wang

Proc. ACM Manag. Data, 2025

Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework.

Zhantong Xue, Pingchuan Ma, Zhaoyu Wang, Shuai Wang

IACR Cryptol. ePrint Arch., 2025

2024

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

Zhaoyu Wang, Pingchuan Ma, Huaijin Wang, Shuai Wang

Proc. ACM Program. Lang., 2024

2023

Towards Practical Federated Causal Structure Learning.

Zhaoyu Wang, Pingchuan Ma, Shuai Wang

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023