Zhang, Shizhuo Dylan

1. SciCode: A Research Coding Benchmark Curated by Scientists
   2024/07/18 by Minyang Tian, Tian, Minyang, Gao, Luyu +54 · 32 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Genetics, Bioinformatics, and Biomedical Research #Research Data Management Practices #Scientific Computing and Data Management
2. Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT
   2023/04/04 by Deng, Yinlin, Xia, Chunqiu Steven, Yang, Chenyuan +3 · 4 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
3. Getting More out of Large Language Models for Proofs
   2023/05/07 by Shizhuo Dylan Zhang, Talia Ringer, Zhang, Shizhuo Dylan +3 · 3 citations
   Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Logic, programming, and type systems
4. Can Transformers Learn to Solve Problems Recursively?
   2023/05/24 by Shizhuo Dylan Zhang, Zhang, Shizhuo Dylan, Curt Tigges +7 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research