TY  - RPRT
TI  - Can LLMs help find Ambiguities in Protocol Specifications?
AU  - Ziyue Dang
AU  - Sixu Tan
AU  - Atharva Nevasekar
AU  - Zhaowei Tan
AU  - George Varghese
AU  - Songwu Lu
PY  - 2026
UR  - https://arxiv.org/abs/2609.38752
ID  - 2609.38752
ER  -