TY  - RPRT
TI  - Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations
AU  - Yifan Wu
AU  - Xuewei Feng
AU  - Yuxiang Yang
AU  - Ke Xu
PY  - 2025
UR  - https://arxiv.org/abs/2510.24408
ID  - 2510.24408
ER  -