Shen, Zilin

1 publications

NeurIPS 2025 PSMBench: A Benchmark and Dataset for Evaluating LLMs Extraction of Protocol State Machines from RFC Specifications Zilin Shen, Xinyu Luo, Imtiaz Karim, Elisa Bertino