Getting More out of Large Language Models for Proofs von Zhang, Shizhuo Dylan, Ringer, Talia, First, Emily

Volltext bestellen

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning von Liu, Changshu, Zhang, Shizhuo Dylan, Ibrahimzada, Ali Reza, Jabbarvand, Reyhaneh

Volltext bestellen

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT von Deng, Yinlin, Xia, Chunqiu Steven, Yang, Chenyuan, Zhang, Shizhuo Dylan, Yang, Shujing, Zhang, Lingming

Volltext bestellen

Can Transformers Learn to Solve Problems Recursively? von Zhang, Shizhuo Dylan, Tigges, Curt, Biderman, Stella, Raginsky, Maxim, Ringer, Talia

Volltext bestellen

Getting More out of Large Language Models for Proofs von Zhang, Shizhuo Dylan, Ringer, Talia, First, Emily

Volltext

CodeMind: A Framework to Challenge Large Language Models for Code Reasoning von Liu, Changshu, Zhang, Shizhuo Dylan, Ibrahimzada, Ali Reza, Jabbarvand, Reyhaneh

Volltext

SciCode: A Research Coding Benchmark Curated by Scientists von Tian, Minyang, Gao, Luyu, Zhang, Shizhuo Dylan, Chen, Xinan, Fan, Cunwei, Guo, Xuefei, Haas, Roland, Ji, Pan, Krongchon, Kittithat, Li, Yao, Liu, Shengyan, Luo, Di, Ma, Yutao, Tong, Hao, Trinh, Kha, Tian, Chenyu, Wang, Zihan, Wu, Bohao, Xiong, Yanyu, Yin, Shengzhu, Zhu, Minhui, Lieret, Kilian, Lu, Yanxin, Liu, Genglin, Du, Yufeng, Tao, Tianhua, Press, Ofir, Callan, Jamie, Huerta, Eliu, Peng, Hao

Volltext bestellen

Can Transformers Learn to Solve Problems Recursively? von Zhang, Shizhuo Dylan, Tigges, Curt, Biderman, Stella, Raginsky, Maxim, Ringer, Talia

Volltext

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT von Deng, Yinlin, Xia, Chunqiu Steven, Yang, Chenyuan, Zhang, Shizhuo Dylan, Yang, Shujing, Zhang, Lingming

Volltext

SciCode: A Research Coding Benchmark Curated by Scientists von Tian, Minyang, Gao, Luyu, Zhang, Shizhuo Dylan, Chen, Xinan, Fan, Cunwei, Guo, Xuefei, Haas, Roland, Pan, Ji, Krongchon, Kittithat, Yao, Li, Liu, Shengyan, Luo, Di, Ma, Yutao, Tong, Hao, Trinh, Kha, Tian, Chenyu, Wang, Zihan, Wu, Bohao, Xiong, Yanyu, Yin, Shengzhu, Zhu, Minhui, Kilian Lieret, Lu, Yanxin, Liu, Genglin, Du, Yufeng, Tao, Tianhua, Press, Ofir, Callan, Jamie, Huerta, Eliu, Peng, Hao

Volltext