{"as_of":"2026-08-07T05:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4b25d6201692b53cfb09d4d69c6d2b0167ed4cdb30f963bef305e8575078ab91","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:17:30.990706Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.11222/citation-record","integrity":"/paper/2507.11222/integrity","json":"/paper/2507.11222/citation-record.json","paper":"/paper/2507.11222"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:28.209285Z","title":"Sutton, A","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.209285Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:ab386b5c1c692fce77e0f97ed66f6e56461a0450ec6b16da607bd88ab4e6d8fa","observation_id":"b8702540-647e-4797-99ea-f6eac857b110","resolution":{"observed_at":"2026-08-06T17:17:28.209285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:33.460640Z","title":"Verified models and reference implementations for the tls 1.3 standard candidate,","venue":null,"work_id":"fd26c4e1-c1d9-4e55-aa3a-96a16f59232a","year":2017},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.764580Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:5b6540d4255e6096b8fb2ccfc1f27ef1998225a35b8c82a02eb153c3138bea53","observation_id":"e880f9fb-162d-4423-ad1a-872274b071c5","resolution":{"observed_at":"2026-08-06T17:17:33.556980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:28.792385Z","title":"A survey on the development of network protocol fuzzing techniques,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.792385Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:347df0a587cea355070e87c936f63387a8334944123e244fed0e6fdc3552ed1b","observation_id":"ee302f11-ccfc-4e7f-b75a-9faa71afd519","resolution":{"observed_at":"2026-08-06T17:17:28.792385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00350","last_updated":"2025-05-18T08:11:32Z","snapshot_observed_at":"2026-08-05T10:48:53.557982Z","submitted_at":"2024-02-01T05:34:03Z","title":"On the Challenges of Fuzzing Techniques via Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00350","snapshot_observed_at":"2026-08-06T17:17:28.822762Z","title":"Large language models based fuzzing techniques: A survey,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.822762Z"},"links":{"cited_paper":"/paper/2402.00350","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:023f7c9bded09918a1d0c0394dd70244f5cdc83a47dfc283da762d7eb7cf0977","observation_id":"e61f619c-9459-4f81-93dc-2a84ac8f44b8","resolution":{"observed_at":"2026-08-06T17:17:28.822762Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:28.859520Z","title":"A survey of automatic protocol reverse engineering tools,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.859520Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:684cd4697aab073f581f60cf041b3b283f50ee9d605cd2a28d371af35b099b99","observation_id":"5e3803cd-9a75-4188-9897-9d363ec39194","resolution":{"observed_at":"2026-08-06T17:17:28.859520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:33.232796Z","title":"About RFCs — ietf.org,","venue":null,"work_id":"1dfea57f-2826-4d55-91ec-6ac3f51fc44d","year":2025},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.885340Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:44fdb56eedeb3ddd2f1b12e8470af1cc1728c3104bb36a0fe170b9bc5d5d2cfe","observation_id":"8e5806c3-b0db-4357-b642-100033337fb9","resolution":{"observed_at":"2026-08-06T17:17:33.308555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:33.097024Z","title":"Extracting protocol format as state machine via controlled static loop analysis,","venue":null,"work_id":"ffe80caf-ea23-48da-a80d-c82e285353d8","year":2023},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.899584Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:025cf4a74cf37cb3dfe1a7fe706acbe538bfeca3e3e07588b14c66838bdd0d92","observation_id":"6ba32b21-a38a-42b1-9b67-17840f91a9a1","resolution":{"observed_at":"2026-08-06T17:17:33.154130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:32.969864Z","title":"Ferry: {State-Aware} symbolic execution for exploring {State- Dependent} program paths,","venue":null,"work_id":"c29dde26-8bd3-4f97-af6a-bf891c596a75","year":2022},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:28.985732Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:799294f702575a1b5057f2ccab940486adc54e34a3ef5af7f855ce634f23e92f","observation_id":"98cda4f8-98f6-4605-97c9-4f0e62ac43ef","resolution":{"observed_at":"2026-08-06T17:17:33.037468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:29.069305Z","title":"State selection algorithms and their impact on the performance of stateful network protocol fuzzing,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.069305Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:96de1bd37ae3b752038d85ed59903d1560ab7bf9f68b1896241c667ff2b28255","observation_id":"702b1f80-d18f-415c-b7ec-35b2e1c595c7","resolution":{"observed_at":"2026-08-06T17:17:29.069305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:29.140426Z","title":"Attention is all you need,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.140426Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:9c688c71cf982b6d7e2ca3ebe8d838010f9210bf3a9abc678cf6cea99eb214d9","observation_id":"dbe1b532-98ee-4d22-aa3d-320de86aa1ac","resolution":{"observed_at":"2026-08-06T17:17:29.140426Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-06T17:17:29.210307Z","title":"Evaluating large language models trained on code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.210307Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:3b1f4263a60cb10cfcc208c9229c5a7dcd31488ec057d98a1f769ed4ea9066fa","observation_id":"a8f9a521-473a-4b05-b068-c506ff363809","resolution":{"observed_at":"2026-08-06T17:17:29.210307Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:29.287301Z","title":"Language models can solve computer tasks,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.287301Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:bdcde34e4a7eace179a51621e77728abda215af48a477da1182aec521c6a5e44","observation_id":"469e52dc-7bba-4de7-9bd6-791adf5f56ce","resolution":{"observed_at":"2026-08-06T17:17:29.287301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:29.342518Z","title":"Generative ai and large language models for cyber security: All insights you need,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.342518Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:5f2c4cc061e1fdf915c6f8de7e82979ede51893b09c917273d78f58a3b474ee4","observation_id":"c991a795-53c2-4bff-b76b-1f4446aa30a5","resolution":{"observed_at":"2026-08-06T17:17:29.342518Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.00393","last_updated":"2025-03-27T02:51:49Z","snapshot_observed_at":"2026-08-06T07:45:02.507393Z","submitted_at":"2024-05-01T08:46:36Z","title":"Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation","version":4},"cited_work":{"arxiv_id":"2405.00393","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.00393","snapshot_observed_at":"2026-08-06T17:17:31.623709Z","title":"Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation","venue":"cs.CR","work_id":"87b20d59-edd4-496b-91c0-ddfe8a2038c9","year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.381512Z"},"links":{"cited_paper":"/paper/2405.00393","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:120143e65491b58078c70ac47c87c495ad8f3656702d83ac341321d0dc508105","observation_id":"6d96bfae-6276-4ae0-a524-1e813daf52fb","resolution":{"observed_at":"2026-08-06T17:17:31.724855Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:32.768735Z","title":"Prosper: Extracting protocol specifica- tions using large language models,","venue":null,"work_id":"1b567447-e374-4589-9525-136a6e86f3a9","year":2023},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.464451Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:2799258483a14fcc321b7a6675e216bd1d9744a60c3741c0fe00d48ba9b62959","observation_id":"f5bd5acd-3d86-4c14-85ae-1889d6d14045","resolution":{"observed_at":"2026-08-06T17:17:32.811882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:29.528020Z","title":"Large language model guided protocol fuzzing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.528020Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:53ba9454d626928db2619cc06b3d39bdb523584e9f6b65e100b63ed862838311","observation_id":"df5faa0f-e62a-42c0-83d1-93c9256c3e5c","resolution":{"observed_at":"2026-08-06T17:17:29.528020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02964","last_updated":"2024-07-03T10:01:01Z","snapshot_observed_at":"2026-07-06T18:40:48.783743Z","submitted_at":"2024-07-03T10:01:01Z","title":"FSM: A Finite State Machine Based Zero-Shot Prompting Paradigm for Multi-Hop Question Answering","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02964","snapshot_observed_at":"2026-08-06T17:17:29.574450Z","title":"Fsm: A finite state machine based zero-shot prompting paradigm for multi-hop question answering,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.574450Z"},"links":{"cited_paper":"/paper/2407.02964","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:a096b1af4aee47b1c93929e76d201bc5bcbf981b958e1974adc140d64c083375","observation_id":"0243ab73-3188-45ef-8662-589c819b78c3","resolution":{"observed_at":"2026-08-06T17:17:29.574450Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.05625","last_updated":"2024-12-07T11:36:40Z","snapshot_observed_at":"2026-07-06T20:03:16.082369Z","submitted_at":"2024-12-07T11:36:40Z","title":"Can Large Language Models Help Developers with Robotic Finite State Machine Modification?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.05625","snapshot_observed_at":"2026-08-06T17:17:29.687007Z","title":"Can large language models help developers with robotic finite state machine modification?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.687007Z"},"links":{"cited_paper":"/paper/2412.05625","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:b7fd64b4c6cc01a3874be9701588b5b3492f1764e79fedb4b9c551447accd07f","observation_id":"e85afc62-f0d6-4dbb-9495-966914d220e0","resolution":{"observed_at":"2026-08-06T17:17:29.687007Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03629","last_updated":"2023-03-10T01:00:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-06T01:00:32Z","title":"ReAct: Synergizing Reasoning and Acting in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03629","snapshot_observed_at":"2026-08-06T17:17:29.791883Z","title":"React: Synergizing reasoning and acting in language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.791883Z"},"links":{"cited_paper":"/paper/2210.03629","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:964281b12bdc5c7401b7354e1390e411936cd823888d8031ecd88c39a43b5f07","observation_id":"2331e0fa-3f93-4031-bd4c-d3e04b1959c8","resolution":{"observed_at":"2026-08-06T17:17:29.791883Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:32.595605Z","title":"Ai chains: Transparent and controllable human-ai interaction by chaining large language model prompts,","venue":null,"work_id":"4a8afb32-5fc9-4388-8a16-956f7191e393","year":2022},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:29.941968Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:458f4197f25ff11ff4c4a6a471ca2e6fdbd363c1249be22348a6b284ef81ca26","observation_id":"51792aa0-2d1c-4781-a9cb-3876ec15eb28","resolution":{"observed_at":"2026-08-06T17:17:32.694617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:30.039403Z","title":"Aflnet: a greybox fuzzer for network protocols,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.039403Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:2f72a579ed845dbec0b8376300dd3547f07b57cf9dfab91a8bb60209de13d342","observation_id":"db53f5ad-0aec-4dd3-afbe-f81035510062","resolution":{"observed_at":"2026-08-06T17:17:30.039403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:32.447242Z","title":"Automated attack synthesis by extracting finite state machines from protocol specification documents,","venue":null,"work_id":"f0dcb8ca-b9fe-4e06-9240-35805f6e19b0","year":2022},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.121156Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:d1f7185b62fcf6b5022c24612279bf9aa1a541cdbe1f9f8031af5187a6316d50","observation_id":"8a7bb3f3-6135-4f59-b821-253becc872da","resolution":{"observed_at":"2026-08-06T17:17:32.477286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:32.260489Z","title":"Hermes: unlocking security analysis of cellular network protocols by synthesizing finite state machines from natural language specifications,","venue":null,"work_id":"9c36291b-eda7-4c06-ac10-94b9546fc512","year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.196653Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:d18cc1b6b09512c9dd9a873687644dd43d66089a46a83fa892a44d63d80d08de","observation_id":"2880220f-0a62-4ed0-affe-6781ac70982a","resolution":{"observed_at":"2026-08-06T17:17:32.353263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:32.085382Z","title":"Netplier: Probabilistic network protocol reverse engineering from message traces","venue":null,"work_id":"60c7a894-5e64-4985-9c1c-c69eea7a6dec","year":2021},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.318788Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:16667a3374c06c12ed229d1d96447e921064398fb75139b4a615098e5ef61a6a","observation_id":"5f98e790-b6cf-42d4-a6e0-6cfb38451626","resolution":{"observed_at":"2026-08-06T17:17:32.169379Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12948","last_updated":"2026-01-04T03:57:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-01-22T15:19:35Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.12948","snapshot_observed_at":"2026-08-06T17:17:30.439301Z","title":"Deepseek-r1: Incentivizing reasoning capability in llms via reinforcement learning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.439301Z"},"links":{"cited_paper":"/paper/2501.12948","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:8e65ce86b4fd1d5c0400d8d3b210a2764f86d0f6709be9fbf1d95e37c59d2f98","observation_id":"1469c4e7-1404-4d14-946c-0baec65604cd","resolution":{"observed_at":"2026-08-06T17:17:30.439301Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:30.486784Z","title":"Chatphishdetector: Detecting phishing sites using large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.486784Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:9bfea95f912e542b1108f3b00fb87787a6536db50e9c77dd4dba77088796e6f2","observation_id":"5bf4dc6c-0884-4ca2-9de6-882eebaf9660","resolution":{"observed_at":"2026-08-06T17:17:30.486784Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.05185","last_updated":"2025-05-29T23:48:08Z","snapshot_observed_at":"2026-08-06T16:57:23.523813Z","submitted_at":"2024-11-07T21:10:39Z","title":"PentestAgent: Incorporating LLM Agents to Automated Penetration Testing","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.05185","snapshot_observed_at":"2026-08-06T17:17:30.502605Z","title":"Pentestagent: Incorporating llm agents to automated penetration testing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.502605Z"},"links":{"cited_paper":"/paper/2411.05185","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:2013771a06c8f5fe01cdd00be76b22163c2e489f51db9047239141c4a3f5439d","observation_id":"9ddc3fa9-6ccb-4b3d-adf8-4f5c89611e7f","resolution":{"observed_at":"2026-08-06T17:17:30.502605Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:30.569164Z","title":"Erpa: Efficient rpa model integrating ocr and llms for intelligent document processing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.569164Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:6614789ae5d0ef0dabbfca99a6173914ae24c59af40cff9b2a6a268b58f11d3b","observation_id":"91e272ef-5d27-40e8-92a2-6f9792a33ef6","resolution":{"observed_at":"2026-08-06T17:17:30.569164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.18063","last_updated":"2025-06-10T09:32:11Z","snapshot_observed_at":"2026-08-02T16:22:08.076068Z","submitted_at":"2024-12-24T00:21:36Z","title":"LMRPA: Large Language Model-Driven Efficient Robotic Process Automation for OCR","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.18063","snapshot_observed_at":"2026-08-06T17:17:30.633268Z","title":"Lmrpa: Large lan- guage model-driven efficient robotic process automation for ocr,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.633268Z"},"links":{"cited_paper":"/paper/2412.18063","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:8e8760946da608524af0502664894d2cae4a81e2a3bb279f616239a3a62fe503","observation_id":"0f4e3929-d65c-4cc6-8f19-fde51fc1089a","resolution":{"observed_at":"2026-08-06T17:17:30.633268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.17965","last_updated":"2025-04-28T15:54:16Z","snapshot_observed_at":"2026-07-06T20:12:26.927930Z","submitted_at":"2024-12-23T20:28:22Z","title":"LMV-RPA: Large Model Voting-based Robotic Process Automation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.17965","snapshot_observed_at":"2026-08-06T17:17:30.671594Z","title":"Lmv-rpa: Large model voting- based robotic process automation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.671594Z"},"links":{"cited_paper":"/paper/2412.17965","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:a5cdbae0e1d8f2a4879005443feb129f7c5ed201210b0bfc5d8ddd2c300ed9e5","observation_id":"d8006a94-454a-4f31-a294-60acca44d457","resolution":{"observed_at":"2026-08-06T17:17:30.671594Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.11672","last_updated":"2024-12-16T11:25:56Z","snapshot_observed_at":"2026-08-04T08:54:25.459004Z","submitted_at":"2024-12-16T11:25:56Z","title":"LLM-DaaS: LLM-driven Drone-as-a-Service Operations from Text User Requests","version":1},"cited_work":{"arxiv_id":"2412.11672","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.11672","snapshot_observed_at":"2026-08-06T17:17:31.222502Z","title":"LLM-DaaS: LLM-driven Drone-as-a-Service Operations from Text User Requests","venue":"cs.AI","work_id":"830840c0-6723-4d02-bb24-94ddd997acfe","year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.730348Z"},"links":{"cited_paper":"/paper/2412.11672","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:01fe6a48bff7a31fa3ccc8ac291619a53933092d1c1004f7562f666b1fc0d726","observation_id":"76d04fc8-fa9d-4917-87a8-7adea4b64d19","resolution":{"observed_at":"2026-08-06T17:17:31.335243Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:30.783762Z","title":"Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.783762Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:c1b2d5fe7fbe776d9e652791000d37fe3b80d22c11221cbb475f31e3223e4bd4","observation_id":"0c013522-a10d-450b-bbc0-d30aa00c58c4","resolution":{"observed_at":"2026-08-06T17:17:30.783762Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.06782","last_updated":"2023-06-11T21:44:47Z","snapshot_observed_at":"2026-07-06T15:41:21.038156Z","submitted_at":"2023-06-11T21:44:47Z","title":"Augmenting Greybox Fuzzing with Generative AI","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.06782","snapshot_observed_at":"2026-08-06T17:17:30.818610Z","title":"Augmenting greybox fuzzing with generative ai,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.818610Z"},"links":{"cited_paper":"/paper/2306.06782","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:ecb9df8c17cff02431bff5bc218a9e9e3b0aa070b71bdb62be8a33b1a55353e8","observation_id":"3b88f028-9064-4080-81b8-a02d1f7af3f8","resolution":{"observed_at":"2026-08-06T17:17:30.818610Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.18143","last_updated":"2024-11-27T08:44:41Z","snapshot_observed_at":"2026-08-03T18:52:27.858774Z","submitted_at":"2024-11-27T08:44:41Z","title":"Harnessing Large Language Models for Seed Generation in Greybox Fuzzing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.18143","snapshot_observed_at":"2026-08-06T17:17:30.844985Z","title":"Harnessing large lan- guage models for seed generation in greybox fuzzing,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.844985Z"},"links":{"cited_paper":"/paper/2411.18143","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:1011887cc6eeaa3cfeaeeee4f4eebb841205bffff54e360f8e32fba4c5375d0b","observation_id":"8f3e3615-7274-478f-9bf7-635f340014c5","resolution":{"observed_at":"2026-08-06T17:17:30.844985Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:30.907523Z","title":"Retrieval- augmented generation for knowledge-intensive nlp tasks,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.907523Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:d99f541a051ec8e9c20e9826477ec540094ac79cdc883200040bd92a38cbc4ce","observation_id":"b19af96b-1f98-4c56-8ed6-f7644207d597","resolution":{"observed_at":"2026-08-06T17:17:30.907523Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.15727","last_updated":"2025-06-27T18:24:21Z","snapshot_observed_at":"2026-07-06T20:40:39.302105Z","submitted_at":"2025-01-30T01:03:49Z","title":"Retrieval Augmented Generation Based LLM Evaluation For Protocol State Machine Inference With Chain-of-Thought Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.15727","snapshot_observed_at":"2026-08-06T17:17:30.920702Z","title":"Retrieval augmented generation based llm evaluation for protocol state machine inference with chain-of-thought reasoning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.920702Z"},"links":{"cited_paper":"/paper/2502.15727","citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:4e45d5218168522332bd4ae16bfb8144fcb2d352b03d1a950ad0c1144e675437","observation_id":"365fff6b-aeef-4678-83bc-4cf0e5201475","resolution":{"observed_at":"2026-08-06T17:17:30.920702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:17:31.826029Z","title":null,"venue":null,"work_id":"75f2bf1c-0e82-41ae-adc6-131eaf87c0e2","year":2025},"citing_paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:17:30.990706Z"},"links":{"citing_paper":"/paper/2507.11222"},"observation_digest":"sha256:2b274b35bf2d38205fafc7dde39839909c30eaa4bad3bcc53e3d87e11b552d92","observation_id":"8caf1aa5-fd46-4496-b757-482e44b8c544","resolution":{"observed_at":"2026-08-06T17:17:31.921380Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11222","last_updated":"2025-07-15T11:50:25Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-06T17:10:50.084446Z","submitted_at":"2025-07-15T11:50:25Z","title":"An Agentic Flow for Finite State Machine Extraction using Prompt Chaining"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":2,"verified_fuzzy":9},"total_outbound_references":37},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"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."}