# RFCLLM：评估大语言模型对网络协议状态机的推理能力

> 以 16 种协议的 1,482 个问题评测协议状态机推理。四种上下文设置区分 RFC 检索与依据给定转换进行推理，任务涵盖后继状态、条件、前驱状态及路径。

- 作者：Anqi Chen; Dan Goldwasser; Cristina Nita-Rotaru
- 原标题：RFCLLM: Evaluating LLMs' Reasoning Ability of Network Protocol State Machines
- 发表载体：Findings of EMNLP 2026
- 发表状态：会议已接收
- 出版／提交日期：2026 年（具体日期未核实）
- 日期依据：作者的 arXiv 记录报告已被 Findings of EMNLP 2026 录用，未核实论文集正式出版日期。
- arXiv 首次提交：2026 年 9 月 11 日
- arXiv：2609.13389
- 已复核的 arXiv 版本：v1
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://arxiv.org/abs/2609.13389>
- PDF：<https://arxiv.org/pdf/2609.13389v1>
- 代码：<https://anonymous.4open.science/r/rfcllm>
- BibTeX：<https://awesomerea.org/papers/citations/paper-rfcllm.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-rfcllm/>
- 记录 JSON：<https://awesomerea.org/papers/paper-rfcllm/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-rfcllm/index.md)

## 研究范围与局限

评测的是推理，并非新的状态机提取器或实现重建方法。标准状态机由一名作者构建，三位作者仅在 50 个样例上核对判定器一致性。报文格式、错误处理、配置及真实代码映射不在范围内；结果受上下文、判定器及输出预算影响。

## 与本合集的关联

为使用 LLM 理解恢复所得或文档描述的协议模型提供有明确边界的验证参考。

## 发表与复核说明

复核 9 月 11 日 v1。录用信息来自作者。作者链接的匿名产物可读到 README、脚本及结果，界面列明开放至 2026 年 12 月 16 日，但未确立完整 Git 提交或根许可证。

## 一手来源

1. <https://arxiv.org/abs/2609.13389v1>
2. <https://arxiv.org/html/2609.13389v1>
3. <https://anonymous.4open.science/r/rfcllm/README.md>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。