Follow
Dylan Zhang
Title
Cited by
Cited by
Year
On the advance of making language models better reasoners
Y Li, Z Lin, S Zhang, Q Fu, B Chen, JG Lou, W Chen
arXiv preprint arXiv:2206.02336, 2022
1072022
Making language models better reasoners with step-aware verifier
Y Li, Z Lin, S Zhang, Q Fu, B Chen, JG Lou, W Chen
Proceedings of the 61st Annual Meeting of the Association for Computational …, 2023
762023
Large language models are edge-case fuzzers: Testing deep learning libraries via fuzzgpt
Y Deng, CS Xia, C Yang, SD Zhang, S Yang, L Zhang
arXiv preprint arXiv:2304.02014, 2023
422023
Pre-training co-evolutionary protein representation via a pairwise masked language model
L He, S Zhang, L Wu, H Xia, F Ju, H Zhang, S Liu, Y Xia, J Zhu, P Deng, ...
arXiv preprint arXiv:2110.15527, 2021
252021
Large language models are edge-case generators: Crafting unusual programs for fuzzing deep learning libraries
Y Deng, CS Xia, C Yang, SD Zhang, S Yang, L Zhang
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
112024
Can Transformers Learn to Solve Problems Recursively?
SD Zhang, C Tigges, S Biderman, M Raginsky, T Ringer
arXiv preprint arXiv:2305.14699, 2023
92023
Near-optimal task selection for meta-learning with mutual information and online variational bayesian unlearning
Y Chen, S Zhang, BKH Low
International Conference on Artificial Intelligence and Statistics, 9091-9113, 2022
82022
Graphprompt: Biomedical entity normalization using graph-based prompt templates
J Zhang, Z Wang, S Zhang, MM Bhalerao, Y Liu, D Zhu, S Wang
bioRxiv, 2021.11. 29.470486, 2021
82021
Proofster: Automated formal verification
A Agrawal, E First, Z Kaufman, T Reichel, S Zhang, T Zhou, ...
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
72023
CodeMind: A Framework to Challenge Large Language Models for Code Reasoning
C Liu, SD Zhang, R Jabbarvand
arXiv preprint arXiv:2402.09664, 2024
42024
PACE: Prompting and Augmentation for Calibrated Confidence Estimation with GPT-4 in Cloud Incident Root Cause Analysis
D Zhang, X Zhang, C Bansal, P Las-Casas, R Fonseca, S Rajmohan
FSE 2024, 2023
42023
GraphPrompt: Graph-based prompt templates for biomedical synonym prediction
H Xu, J Zhang, Z Wang, S Zhang, M Bhalerao, Y Liu, D Zhu, S Wang
Proceedings of the AAAI Conference on Artificial Intelligence 37 (9), 10576 …, 2023
32023
Transformer-based models are not yet perfect at learning to emulate structural recursion
D Zhang, C Tigges, Z Zhang, S Biderman, M Raginsky, T Ringer
arXiv preprint arXiv:2401.12947, 2024
22024
Getting More out of Large Language Models for Proofs
SD Zhang, T Ringer, E First
arXiv preprint arXiv:2305.04369, 2023
22023
Instruction Diversity Drives Generalization To Unseen Tasks
D Zhang, J Wang, F Charton
arXiv preprint arXiv:2402.10891, 2024
2024
Can Transformers Learn to Solve Problems Recursively?
S Dylan Zhang, C Tigges, S Biderman, M Raginsky, T Ringer
arXiv e-prints, arXiv: 2305.14699, 2023
2023
Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT, April 2023
Y Deng, CS Xia, C Yang, SD Zhang, S Yang, L Zhang
arXiv preprint arXiv:2304.02014, 0
The system can't perform the operation now. Try again later.
Articles 1–17