Shizhuo Dylan Zhang

According to our database, Shizhuo Dylan Zhang authored at least 9 papers between 2023 and 2025.

Collaborative distances:

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

2025

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.

Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun

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

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

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, Yutao Ma, Hao Tong, Kha Trinh, Chenyu Tian, Zihan Wang, Bohao Wu, Yanyu Xiong, Shengzhu Yin, Minhui Zhu, Kilian Lieret, Yanxin Lu, Genglin Liu, Yufeng Du, Tianhua Tao, Ofir Press, Jamie Callan, Eliu A. Huerta, Hao Peng

CoRR, 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, Yutao Ma, Hao Tong, Kha Trinh, Chenyu Tian, Zihan Wang, Bohao Wu, Shengzhu Yin, Minhui Zhu, Kilian Lieret, Yanxin Lu, Genglin Liu, Yufeng Du, Tianhua Tao, Ofir Press, Jamie Callan, Eliu A. Huerta, Hao Peng

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

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

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Can Transformers Learn to Solve Problems Recursively?

Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, Maxim Raginsky, Talia Ringer

CoRR, 2023

Getting More out of Large Language Models for Proofs.

Shizhuo Dylan Zhang, Talia Ringer, Emily First

CoRR, 2023

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

CoRR, 2023