Dylan Zhang

According to our database, Dylan Zhang authored at least 7 papers between 2023 and 2024.

Collaborative distances:

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

2024

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

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

CoRR, 2024

PLUM: Preference Learning Plus Test Cases Yields Better Code Language Models.

Dylan Zhang, Shizhe Diao, Xueyan Zou, Hao Peng

CoRR, 2024

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers.

Dylan Zhang, Justin Wang, François Charton

CoRR, 2024

Instruction Diversity Drives Generalization To Unseen Tasks.

Dylan Zhang, Justin Wang, François Charton

CoRR, 2024

LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents.

Dylan Zhang, Xuchao Zhang, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

PACE-LM: Prompting and Augmentation for Calibrated Confidence Estimation with GPT-4 in Cloud Incident Root Cause Analysis.

Dylan Zhang, Xuchao Zhang, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan

CoRR, 2023

Linking Mobility Traces of the Same User Across Different Datasets.

Dylan Zhang, Homin Park, Shili Xiang

Proceedings of the IEEE International Conference on Service Operations and Logistics, 2023