Alan Tang | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Todd Millstein
15 publications
Ryan Beckett
10 publications
George Varghese
4 publications
Rajdeep Mondal
1 publication
Karthick Jayaraman
1 publication

research

∙ 07/11/2023

What do LLMs need to Synthesize Correct Router Configurations?

We investigate whether Large Language Models (e.g., GPT-4) can synthesiz...

0 Rajdeep Mondal, et al. ∙

research

∙ 04/20/2022

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification

Current network control plane verification tools cannot scale to large n...

0 Alan Tang, et al. ∙