Paper Citation Record · LEDGER

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining

As of 7 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2507.11222.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.11222 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:17:30.990706Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

37 of 37 outbound references displayed

verified exact2
verified fuzzy9
unresolved26
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b8702540-647e-4797-99ea-f6eac857b110 · outbound

This paper cites Sutton, A.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Sutton, A

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:28.209285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e880f9fb-162d-4423-ad1a-872274b071c5 · outbound

This paper cites Verified models and reference implementations for the tls 1.3 standard candidate,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Verified models and reference implementations for the tls 1.3 standard candidate,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:33.556980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ee302f11-ccfc-4e7f-b75a-9faa71afd519 · outbound

This paper cites A survey on the development of network protocol fuzzing techniques,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining A survey on the development of network protocol fuzzing techniques,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:28.792385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e61f619c-9459-4f81-93dc-2a84ac8f44b8 · outbound

This paper cites On the Challenges of Fuzzing Techniques via Large Language Models.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining On the Challenges of Fuzzing Techniques via Large Language Models

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:28.822762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e3803cd-9a75-4188-9897-9d363ec39194 · outbound

This paper cites A survey of automatic protocol reverse engineering tools,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining A survey of automatic protocol reverse engineering tools,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:28.859520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e5806c3-b0db-4357-b642-100033337fb9 · outbound

This paper cites About RFCs — ietf.org,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining About RFCs — ietf.org,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:33.308555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6ba32b21-a38a-42b1-9b67-17840f91a9a1 · outbound

This paper cites Extracting protocol format as state machine via controlled static loop analysis,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Extracting protocol format as state machine via controlled static loop analysis,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:33.154130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 98cda4f8-98f6-4605-97c9-4f0e62ac43ef · outbound

This paper cites Ferry: {State-Aware} symbolic execution for exploring {State- Dependent} program paths,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Ferry: {State-Aware} symbolic execution for exploring {State- Dependent} program paths,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:33.037468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 702b1f80-d18f-415c-b7ec-35b2e1c595c7 · outbound

This paper cites State selection algorithms and their impact on the performance of stateful network protocol fuzzing,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining State selection algorithms and their impact on the performance of stateful network protocol fuzzing,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.069305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbe1b532-98ee-4d22-aa3d-320de86aa1ac · outbound

This paper cites Attention is all you need,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Attention is all you need,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.140426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8f9a521-473a-4b05-b068-c506ff363809 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Evaluating Large Language Models Trained on Code

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.210307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 469e52dc-7bba-4de7-9bd6-791adf5f56ce · outbound

This paper cites Language models can solve computer tasks,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Language models can solve computer tasks,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.287301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c991a795-53c2-4bff-b76b-1f4446aa30a5 · outbound

This paper cites Generative ai and large language models for cyber security: All insights you need,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Generative ai and large language models for cyber security: All insights you need,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.342518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d96bfae-6276-4ae0-a524-1e813daf52fb · outbound

This paper cites Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-06T17:17:31.724855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f5bd5acd-3d86-4c14-85ae-1889d6d14045 · outbound

This paper cites Prosper: Extracting protocol specifica- tions using large language models,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Prosper: Extracting protocol specifica- tions using large language models,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:32.811882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation df5faa0f-e62a-42c0-83d1-93c9256c3e5c · outbound

This paper cites Large language model guided protocol fuzzing,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Large language model guided protocol fuzzing,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.528020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0243ab73-3188-45ef-8662-589c819b78c3 · outbound

This paper cites FSM: A Finite State Machine Based Zero-Shot Prompting Paradigm for Multi-Hop Question Answering.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining FSM: A Finite State Machine Based Zero-Shot Prompting Paradigm for Multi-Hop Question Answering

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.574450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e85afc62-f0d6-4dbb-9495-966914d220e0 · outbound

This paper cites Can Large Language Models Help Developers with Robotic Finite State Machine Modification?.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Can Large Language Models Help Developers with Robotic Finite State Machine Modification?

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.687007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2331e0fa-3f93-4031-bd4c-d3e04b1959c8 · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining ReAct: Synergizing Reasoning and Acting in Language Models

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:29.791883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51792aa0-2d1c-4781-a9cb-3876ec15eb28 · outbound

This paper cites Ai chains: Transparent and controllable human-ai interaction by chaining large language model prompts,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Ai chains: Transparent and controllable human-ai interaction by chaining large language model prompts,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:32.694617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation db53f5ad-0aec-4dd3-afbe-f81035510062 · outbound

This paper cites Aflnet: a greybox fuzzer for network protocols,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Aflnet: a greybox fuzzer for network protocols,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.039403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a7bb3f3-6135-4f59-b821-253becc872da · outbound

This paper cites Automated attack synthesis by extracting finite state machines from protocol specification documents,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Automated attack synthesis by extracting finite state machines from protocol specification documents,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:32.477286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2880220f-0a62-4ed0-affe-6781ac70982a · outbound

This paper cites Hermes: unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Hermes: unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:32.353263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5f98e790-b6cf-42d4-a6e0-6cfb38451626 · outbound

This paper cites Netplier: Probabilistic network protocol reverse engineering from message traces.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Netplier: Probabilistic network protocol reverse engineering from message traces

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:17:32.169379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1469c4e7-1404-4d14-946c-0baec65604cd · outbound

This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.439301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bf4dc6c-0884-4ca2-9de6-882eebaf9660 · outbound

This paper cites Chatphishdetector: Detecting phishing sites using large language models,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Chatphishdetector: Detecting phishing sites using large language models,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.486784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ddc3fa9-6ccb-4b3d-adf8-4f5c89611e7f · outbound

This paper cites PentestAgent: Incorporating LLM Agents to Automated Penetration Testing.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining PentestAgent: Incorporating LLM Agents to Automated Penetration Testing

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.502605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91e272ef-5d27-40e8-92a2-6f9792a33ef6 · outbound

This paper cites Erpa: Efficient rpa model integrating ocr and llms for intelligent document processing,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Erpa: Efficient rpa model integrating ocr and llms for intelligent document processing,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.569164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f4e3929-d65c-4cc6-8f19-fde51fc1089a · outbound

This paper cites LMRPA: Large Language Model-Driven Efficient Robotic Process Automation for OCR.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining LMRPA: Large Language Model-Driven Efficient Robotic Process Automation for OCR

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.633268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8006a94-454a-4f31-a294-60acca44d457 · outbound

This paper cites LMV-RPA: Large Model Voting-based Robotic Process Automation.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining LMV-RPA: Large Model Voting-based Robotic Process Automation

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.671594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76d04fc8-fa9d-4917-87a8-7adea4b64d19 · outbound

This paper cites LLM-DaaS: LLM-driven Drone-as-a-Service Operations from Text User Requests.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining LLM-DaaS: LLM-driven Drone-as-a-Service Operations from Text User Requests

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-06T17:17:31.335243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0c013522-a10d-450b-bbc0-d30aa00c58c4 · outbound

This paper cites Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.783762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b88f028-9064-4080-81b8-a02d1f7af3f8 · outbound

This paper cites Augmenting Greybox Fuzzing with Generative AI.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Augmenting Greybox Fuzzing with Generative AI

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.818610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f3e3615-7274-478f-9bf7-635f340014c5 · outbound

This paper cites Harnessing Large Language Models for Seed Generation in Greybox Fuzzing.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Harnessing Large Language Models for Seed Generation in Greybox Fuzzing

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.844985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b19af96b-1f98-4c56-8ed6-f7644207d597 · outbound

This paper cites Retrieval- augmented generation for knowledge-intensive nlp tasks,.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Retrieval- augmented generation for knowledge-intensive nlp tasks,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.907523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 365fff6b-aeef-4678-83bc-4cf0e5201475 · outbound

This paper cites Retrieval Augmented Generation Based LLM Evaluation For Protocol State Machine Inference With Chain-of-Thought Reasoning.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Retrieval Augmented Generation Based LLM Evaluation For Protocol State Machine Inference With Chain-of-Thought Reasoning

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T17:17:30.920702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8caf1aa5-fd46-4496-b757-482e44b8c544 · outbound

This paper cites an unresolved cited work.

An Agentic Flow for Finite State Machine Extraction using Prompt Chaining Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:17:31.921380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

No inbound Pith citation observations are available.