Zaoyu Chen
Identifiers
No identifiers captured yet.
Papers (1)
- CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation cs.SE · 2026 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Boyu Zhu 1 shared papers
- Haoyang Yuan 1 shared papers
- Huiming Wang 1 shared papers
- Jianbo Dai 1 shared papers
- Jingdong Wang 1 shared papers
- Xiao-Ming Wu 1 shared papers
- Xin Xu 1 shared papers
- Zhijiang Guo 1 shared papers