Lize Shao

According to our database, Lize Shao authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

Constrained Code Generation with Discrete Diffusion.

Lize Shao, Michael Cardei, Zichen Xie, Ferdinando Fioretto, Wenxi Wang

CoRR, May, 2026

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation.

Zichen Xie, Mrigank Pawagi, Yuxin Liu, Aaditi Rai, Lize Shao, John Berberian Jr., Sicong Che, Wenxi Wang

CoRR, May, 2026

2025

RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications.

Mrigank Pawagi, Lize Shao, Hyeonmin Lee, Yixin Sun, Wenxi Wang

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

MQuAKE-Remastered: Multi-Hop Knowledge Editing Can Only Be Advanced with Reliable Evaluations.

Shaochen (Henry) Zhong, Yifan Lu, Lize Shao, Bhargav Bhushanam, Xiaocong Du, Yixin Wan, Yucheng Shi, Daochen Zha, Yiwei Wang, Ninghao Liu, Kaixiong Zhou, Shuai Xu, Kai-Wei Chang, Louis Feng, Vipin Chaudhary, Xia Hu

Proceedings of the Thirteenth International Conference on Learning Representations, 2025