This repository contains the codebase for our NeurIPS 2025 submission, which benchmarks large language models (LLMs) on extracting protocol state machines (PSMs) from RFC documents. It includes ...