Postdoc, Purdue University
1 paper at NeurIPS 2025
Propose benchmark and sataset to evaluate LLMs extraction of state machines from network protocols standards, curated the datasets and benchmark on several open and close LLMs.