Zichen (Grayson) Xie

@article{xie2026vericontest,
  title = {VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation},
  author = {Xie, Zichen and Pawagi, Mrigank and Liu, Yuxin and Rai, Aaditi and Shao, Lize and Berberian Jr, John and Che, Sicong and Wang, Wenxi},
  journal = {arXiv preprint arXiv:2605.08553},
  year = {2026},
}

@article{shao2026self,
  title = {Self-Decomposing Diffusion for Code Generation},
  author = {Shao, Lize and Xie, Zichen and Chen, Zhizhen and Zeng, Zhe and Wang, Wenxi},
  journal = {arXiv preprint arXiv:2610.27600},
  year = {2026},
}

@article{xie2026detecting,
  title = {Detecting Inconsistencies in Model Specifications with LLM-as-Verifier Reasoning},
  author = {Xie, Zichen and Pawagi, Mrigank and Shao, Lize and Hu, Yang and Wang, Wenxi},
  journal = {arXiv preprint arXiv:2610.01847},
  year = {2026},
}

@article{shao2026constrained,
  title = {Constrained Code Generation with Discrete Diffusion},
  author = {Shao, Lize and Cardei, Michael and Xie, Zichen and Fioretto, Ferdinando and Wang, Wenxi},
  journal = {arXiv preprint arXiv:2605.16829},
  year = {2026},
}

@article{xie2026can,
  title = {Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought},
  author = {Xie, Zichen and Wang, Wenxi},
  journal = {arXiv preprint arXiv:2603.18334},
  year = {2026},
}

@inproceedings{yang2025knighter,
  title = {KNighter: Transforming Static Analysis with LLM-Synthesized Checkers},
  author = {Yang, Chenyuan and Zhao, Zijie and Xie, Zichen and Li, Haoyu and Zhang, Lingming},
  booktitle = {Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles},
  pages = {655--669},
  year = {2025},
}