{
  "added_at": "2026-10-20",
  "arxiv_id": "2609.13389",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Anqi Chen",
    "Dan Goldwasser",
    "Cristina Nita-Rotaru"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-rfcllm.bib",
  "code_url": "https://anonymous.4open.science/r/rfcllm",
  "date_basis": "Author arXiv record reports acceptance to Findings of EMNLP 2026; a proceedings publication date was not verified.",
  "date_basis_zh": "作者的 arXiv 记录报告已被 Findings of EMNLP 2026 录用，未核实论文集正式出版日期。",
  "date_precision": "year",
  "description_en": "Tests reasoning over protocol state machines using 1,482 questions across 16 protocols. Four context settings distinguish RFC retrieval from reasoning over supplied transitions; tasks cover next states, conditions, predecessor states and paths.",
  "description_zh": "以 16 种协议的 1,482 个问题评测协议状态机推理。四种上下文设置区分 RFC 检索与依据给定转换进行推理，任务涵盖后继状态、条件、前驱状态及路径。",
  "doi": null,
  "entry_url": "https://awesomerea.org/papers/paper-rfcllm/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-rfcllm/",
  "evidence_urls": [
    "https://arxiv.org/abs/2609.13389v1",
    "https://arxiv.org/html/2609.13389v1",
    "https://anonymous.4open.science/r/rfcllm/README.md"
  ],
  "first_arxiv_date": "2026-09-11",
  "id": "paper-rfcllm",
  "json_url": "https://awesomerea.org/papers/paper-rfcllm/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-rfcllm/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-rfcllm/index.md",
  "metadata_notes": "Reviewed September 11 v1. Acceptance is author-reported. The author-linked anonymous artifact exposes README, scripts and results; its UI lists access until December 16, 2026, but no full Git commit or root license was established.",
  "metadata_notes_zh": "复核 9 月 11 日 v1。录用信息来自作者。作者链接的匿名产物可读到 README、脚本及结果，界面列明开放至 2026 年 12 月 16 日，但未确立完整 Git 提交或根许可证。",
  "pdf_url": "https://arxiv.org/pdf/2609.13389v1",
  "project_url": null,
  "publication_date": null,
  "publication_status": "conference-accepted",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "Evaluates reasoning, not a new FSM extractor or implementation reconstruction. Gold FSMs were prepared by one author; judge agreement was checked on 50 instances by the three authors. Packet formats, error handling, configurations and real code mappings are outside scope. Results depend on context, judges and output budgets.",
  "scope_limitations_zh": "评测的是推理，并非新的状态机提取器或实现重建方法。标准状态机由一名作者构建，三位作者仅在 50 个样例上核对判定器一致性。报文格式、错误处理、配置及真实代码映射不在范围内；结果受上下文、判定器及输出预算影响。",
  "targets": [
    "protocol"
  ],
  "title": "RFCLLM: Evaluating LLMs' Reasoning Ability of Network Protocol State Machines",
  "title_zh": "RFCLLM：评估大语言模型对网络协议状态机的推理能力",
  "url": "https://arxiv.org/abs/2609.13389",
  "venue": "Findings of EMNLP 2026",
  "verification": "source-reviewed",
  "verified_at": "2026-10-20",
  "why_fits_en": "Provides a bounded validation reference for using LLMs to interpret recovered or documented protocol models.",
  "why_fits_zh": "为使用 LLM 理解恢复所得或文档描述的协议模型提供有明确边界的验证参考。",
  "year": 2026
}