Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT. - Yinlin Deng; Chunqiu Steven Xia; Chenyuan Yang; Shizhuo Dylan Zhang; Shujing Yang; Lingming Zhang 001 (CoRR, 2023)

Getting More out of Large Language Models for Proofs. - Shizhuo Dylan Zhang; Talia Ringer; Emily First (CoRR, 2023)

Can Transformers Learn to Solve Problems Recursively? - Shizhuo Dylan Zhang; Curt Tigges; Stella Biderman; Maxim Raginsky; Talia Ringer (CoRR, 2023)

Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries. - Yinlin Deng; Chunqiu Steven Xia; Chenyuan Yang; Shizhuo Dylan Zhang; Shujing Yang; Lingming Zhang 001 (ICSE, 2024)

SciCode: A Research Coding Benchmark Curated by Scientists. - Minyang Tian; Luyu Gao; Shizhuo Dylan Zhang; Xinan Chen; Cunwei Fan; Xuefei Guo; Roland Haas; Pan Ji; Kittithat Krongchon; Yao Li; Shengyan Liu; Di Luo; et al. (NeurIPS, 2024)

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning. - Changshu Liu; Shizhuo Dylan Zhang; Reyhaneh Jabbarvand (CoRR, 2024)

SciCode: A Research Coding Benchmark Curated by Scientists. - Minyang Tian; Luyu Gao; Shizhuo Dylan Zhang; Xinan Chen; Cunwei Fan; Xuefei Guo; Roland Haas; Pan Ji; Kittithat Krongchon; Yao Li; Shengyan Liu; Di Luo; et al. (CoRR, 2024)

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion. - Shizhuo Dylan Zhang; Curt Tigges; Zory Zhang; Stella Biderman; Maxim Raginsky; Talia Ringer (Trans. Mach. Learn. Res., 2024)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. - Alex Sanchez-Stern; Abhishek Varghese; Zhanna Kaufman; Shizhuo Dylan Zhang; Talia Ringer; Yuriy Brun (ICSE, 2025)