{"as_of":"2026-08-21T15:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3726945aac53ce6b87b0fb038462e64442e919e1c02426584dc5f514475c2f61","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T12:11:29.381621Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T00:32:47.276773Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-10T00:32:47.388564Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"cited_work":{"arxiv_id":"2504.13515","doi":null,"metadata_source":"pith","pith_arxiv_id":"2504.13515","snapshot_observed_at":"2026-08-10T00:32:47.388564Z","title":"Large Language Models for Validating Network Protocol Parsers","venue":"cs.SE","work_id":"8e528a65-b795-4f89-934e-5c3321855d8c","year":2025},"citing_paper":{"arxiv_id":"2501.18160","last_updated":"2025-05-29T22:08:26Z","snapshot_observed_at":"2026-08-20T02:37:55.059415Z","submitted_at":"2025-01-30T05:56:30Z","title":"RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T00:32:47.276773Z"},"links":{"cited_paper":"/paper/2504.13515","citing_paper":"/paper/2501.18160"},"observation_digest":"sha256:6e8da6da216b9a2c0643adf455b0fae06eb61cb62139db3c42815c79167c560a","observation_id":"c23763c0-6073-47af-a093-fdae4331e803","resolution":{"observed_at":"2026-08-10T00:32:47.395661Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2504.13515/citation-record","integrity":"/paper/2504.13515/integrity","json":"/paper/2504.13515/citation-record.json","paper":"/paper/2504.13515"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T12:11:30.032462Z","title":"The transport layer security (tls) protocol,","venue":null,"work_id":"8ff056e0-8c19-4a99-9016-076230eb09f1","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.190235Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:d42a8966ca84758f0a07129c7bf0b2a2d674b2b14cf86a6fb2b5bb26a765f91b","observation_id":"91c8cbcd-c935-4616-bdcb-210f3de4f7b7","resolution":{"observed_at":"2026-08-16T12:11:30.036084Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:30.022820Z","title":"File transfer protocol (ftp),","venue":null,"work_id":"9278bb01-8fe4-4f59-abbb-4821ebbd97f8","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.194193Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:f56cb8a42d9e46ecf58f8c241edfee5a37a0aca7491f4a36a41c5c5c433dc6c5","observation_id":"3ebac464-7caf-422f-bf2f-d600464f0856","resolution":{"observed_at":"2026-08-16T12:11:30.026229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:30.013107Z","title":"Internet protocol (ip),","venue":null,"work_id":"eb6cb9fa-4805-4602-a405-7ce0d4126776","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.197680Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:9a0c62367b4058067a96973e4cdd5c8fef241c8450591170bc4a2cc3ac323ec0","observation_id":"0b605f2d-3fd9-4d61-9366-062b18c1d7e3","resolution":{"observed_at":"2026-08-16T12:11:30.016527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:30.002037Z","title":"The heartbleed bug,","venue":null,"work_id":"cb5d3d7e-831e-4897-83a7-96ffff883454","year":2020},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.201302Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ce88a33e4c117ef6eb0facdff6a8f627cfd9adf4793ac6f8e7da00df4d746b37","observation_id":"087e5cd1-266e-4d9c-83a5-cd325ce5fb09","resolution":{"observed_at":"2026-08-16T12:11:30.006398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.992343Z","title":"Openssl,","venue":null,"work_id":"56365806-3eb3-4833-b812-5ca64e97d5cf","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.204688Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:adf0d815ae023fb09bc6106a191e26e11c01175f3f385677334651a7814adb4e","observation_id":"1ca9991f-e8e5-4546-8f5b-bf341f3fbd5a","resolution":{"observed_at":"2026-08-16T12:11:29.995889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.984028Z","title":"Cve-2021-41773,","venue":null,"work_id":"c0326de0-c21d-48f2-8cad-4876eab90742","year":2021},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.208187Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:d353e0d921ed08ccf037e8558d8e99e745005677f008747acfbaf08e27305a95","observation_id":"003f34c1-cfef-433c-a9cc-b3a73228b5e3","resolution":{"observed_at":"2026-08-16T12:11:29.987026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.974391Z","title":"Model checking large network protocol implementations,","venue":null,"work_id":"cf4c515b-3b13-4fb7-a13b-da88c31a3ef7","year":2004},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.211827Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:eca9398aead0acdde6873485a14cd07923783dca79fd0470db647714ca2fb6c1","observation_id":"0346e8af-a947-4ecc-a9e0-11b8a803c8c1","resolution":{"observed_at":"2026-08-16T12:11:29.978152Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.965658Z","title":"Automatic verification of the TLS handshake protocol,","venue":null,"work_id":"19b80f04-1d68-4489-8ee1-8480805a1fcf","year":2004},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.215556Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:6788ca184f2adf4ce19d24f08508c21c79166e73b767006632cc7d329d71840d","observation_id":"64096e1d-c209-4cb8-9ee8-ca4dd9b56660","resolution":{"observed_at":"2026-08-16T12:11:29.968928Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.956318Z","title":"Modular verification of software components in C,","venue":null,"work_id":"7b250e06-5445-4c95-a4da-6510465863ed","year":2003},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.218864Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ec6b404e0b3632274e78b845f2c7881d379c29e05f3f673ecc201dfbbb087954","observation_id":"c9a7df3b-d55d-4ceb-b663-8f5140c152cc","resolution":{"observed_at":"2026-08-16T12:11:29.960005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.946983Z","title":"Aflnet: a greybox fuzzer for network protocols,","venue":null,"work_id":"5f097ca4-6512-4d16-b136-abc32828edfa","year":2020},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.222113Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:1a3b988155cce7dcd594047ebbcee01413e13eb2c38226bb960e50c39b81cb2d","observation_id":"2a3d6116-b6b8-4557-8252-7ee3036b0083","resolution":{"observed_at":"2026-08-16T12:11:29.950476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.937952Z","title":"Lifting network protocol implementation to precise format specification with security applications,","venue":null,"work_id":"d8ee15da-4b99-4639-a1ed-caf5d1d28bd6","year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.226024Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:a5fc6a18b1827a748397c921f1caa8ab48ce54a591f8f6b20f156299f031e7fe","observation_id":"383a9fc3-ee3c-4759-8399-662a77113de8","resolution":{"observed_at":"2026-08-16T12:11:29.941199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.929291Z","title":"Pardiff: Practical static differential analysis of network protocol parsers,","venue":null,"work_id":"e5bec194-bf10-4a9a-ac10-86cb5b73e34f","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.230541Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:d100cabd8b719e09fe8e9c4b7ab11f8ab666e57c49e9f76bb31fa0973b1f20bc","observation_id":"034be61d-8b58-4ca2-b81e-e7c92190f8ee","resolution":{"observed_at":"2026-08-16T12:11:29.932538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.234877Z","title":"Kit: Testing os-level virtualization for functional interference bugs,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.234877Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:6ffad8a740701ff5afcdfd5cc5f6f81b3476b92d3941c775c62b1147c48af9a4","observation_id":"80e2189f-0fda-4202-b17e-ceaf97df768d","resolution":{"observed_at":"2026-08-16T12:11:29.234877Z","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-16T12:11:29.919887Z","title":"Why do de- velopers remove lambda expressions in java?","venue":null,"work_id":"bebebcdf-c79c-4446-a9a0-16a01ec63192","year":2021},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.238080Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:c7689037646485b9d98e5b8e53314757eeeb0935b7fe748916582cd2ccba511e","observation_id":"56643fe8-e137-43d8-88fc-56c1028363de","resolution":{"observed_at":"2026-08-16T12:11:29.923346Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.911264Z","title":"Validating network protocol parsers with traceable rfc document interpretation,","venue":null,"work_id":"5310a46d-a25e-4b01-8c2d-22822a2381b2","year":2025},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.241211Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:dad8e66cf467b8af4eca28e713a6b0eae45b20098b6f5ba25af4afca22fef051","observation_id":"f9aa21fa-1fff-4d4c-adb8-8c11bb1d0054","resolution":{"observed_at":"2026-08-16T12:11:29.914461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.901847Z","title":"Dpifuzz: a differential fuzzing framework to detect dpi elusion strategies for quic,","venue":null,"work_id":"4beff70a-1697-462a-bc26-fc3979dd0c85","year":2020},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.244423Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ca84c3bab54d6fc3cd33ff4759dd6882be2aa86172baac9f8cdfb7ee396426fe","observation_id":"3c8316d4-b887-4ca6-9c3a-681f2c1317c1","resolution":{"observed_at":"2026-08-16T12:11:29.905794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.10362","last_updated":"2024-05-06T23:21:57Z","snapshot_observed_at":"2026-08-21T09:03:01.119639Z","submitted_at":"2024-04-16T07:53:28Z","title":"3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.10362","snapshot_observed_at":"2026-08-16T12:11:29.247769Z","title":"3dgen: Ai-assisted generation of provably correct binary format parsers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.247769Z"},"links":{"cited_paper":"/paper/2404.10362","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:c679edeb70b43828a39548e783721a88db2b843bb4a3fe4a8908180bcd0dedc3","observation_id":"146254b8-54ad-4953-bf52-0b267846c89d","resolution":{"observed_at":"2026-08-16T12:11:29.247769Z","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-16T12:11:29.892849Z","title":"Tree-sitter,","venue":null,"work_id":"82a3c7fb-422f-49bb-ab03-0e7176b048d2","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.251706Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:0f6b94a2ba0336e792ac54c594e555f10f48c909cd03b11b8b4b17f1c364e0ba","observation_id":"3694cc6a-df1e-4675-96bc-a57a7cbbfdb2","resolution":{"observed_at":"2026-08-16T12:11:29.895949Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.883221Z","title":"Autogen: Enabling next-gen LLM applications via multi-agent conversation,","venue":null,"work_id":"74bb422c-8b8a-4bd1-9c71-b2629d99d64a","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.255396Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:82e9d7325d2202418da5e8bb569c1081c6c2487c5bfa03db1e4bdbde31ed1779","observation_id":"d0a88d54-389a-4cc6-a81a-afc35c616ea7","resolution":{"observed_at":"2026-08-16T12:11:29.886492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.873007Z","title":"Claude 3.5 sonnet,","venue":null,"work_id":"f67e36c2-827b-4a53-a803-1aa0469a9374","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.258810Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ab2833229d7132e79616595ff09f276bb99a0e2afa86e21b778f3a1ac9829bd8","observation_id":"a2b76371-805e-4a87-ad6c-c8e1181b0cf3","resolution":{"observed_at":"2026-08-16T12:11:29.877089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.864134Z","title":"3d: Dependent data descriptions for verified validation,","venue":null,"work_id":"f3e5c3d8-67b6-4fb5-80fe-965ef24d1711","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.262186Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:1d2e62eaeedf4a22152987936ad5fe68962b15effd6d7c0fc5ef7efa25343225","observation_id":"fb417231-8e72-4f86-9b68-9e6a1a3ccfc4","resolution":{"observed_at":"2026-08-16T12:11:29.867520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.854754Z","title":"Everparse,","venue":null,"work_id":"e8a551fd-7074-444c-9fd2-fac13f94e705","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.265649Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:8ba8e5eae927c24f919a467911f6faa3a14d2064d2f8c7e2c182e3ee16b7eed8","observation_id":"c14891b2-fc24-4a34-8ad7-d22288651447","resolution":{"observed_at":"2026-08-16T12:11:29.858071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.845053Z","title":"The frrouting protocol suite,","venue":null,"work_id":"cc8244ae-45d3-4cc7-be39-5cc4d5ae52af","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.269286Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:7ca1f911ae9f37a6f59fd8981d13f3e332c4da3e4da7677c256152e496b7cb05","observation_id":"2541ea5b-a395-4411-beb8-973daa54229e","resolution":{"observed_at":"2026-08-16T12:11:29.848360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.835324Z","title":"Bidirectional forwarding detection (bfd),","venue":null,"work_id":"a874b4b8-571c-4e38-a15b-5a0bcd88f1cd","year":null},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.272383Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:8e35e372d8243b2e5a389d376cccb59449e0d8ac499531e6afe1ea5f8f96a999","observation_id":"3cf67354-e2ac-4706-9aa9-cd0a6e8a12e2","resolution":{"observed_at":"2026-08-16T12:11:29.838558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.824544Z","title":"Boofuzz,","venue":null,"work_id":"667903c3-be64-4ede-a625-f59569370d02","year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.275555Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:d5b19bb2ad98de09ef306a8c90c483cb9eec3bbeec1778ae21fd1e52c9e17937","observation_id":"934db52b-42d2-4ef9-b36a-b94a0b14cef8","resolution":{"observed_at":"2026-08-16T12:11:29.828535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.814481Z","title":"Prognosis: closed- box analysis of network protocol implementations,","venue":null,"work_id":"2f0a17af-ec52-4456-9f1b-d74930a1199b","year":2021},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.279239Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:f102e33c581b18441ced0e679b3739cf15a4e0d056f4fdbcbebf17839e56f33f","observation_id":"3ddd41a7-a66d-44ca-bd96-6deb7db69b77","resolution":{"observed_at":"2026-08-16T12:11:29.817866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.804578Z","title":"Large language model guided protocol fuzzing,","venue":null,"work_id":"ec99df31-d0a5-4136-a680-da539505cd44","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.282403Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:3491942ed4486aa66cfaf9d995253dc7f37a9fa568c721b2b00febcdd556942e","observation_id":"8b1360fc-ef34-4687-8928-e7da8ac23ff8","resolution":{"observed_at":"2026-08-16T12:11:29.808190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.06161","last_updated":"2023-12-13T14:44:10Z","snapshot_observed_at":"2026-07-06T15:25:35.930688Z","submitted_at":"2023-05-09T08:16:42Z","title":"StarCoder: may the source be with you!","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.06161","snapshot_observed_at":"2026-08-16T12:11:29.285677Z","title":"Starcoder: may the source be with you!","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.285677Z"},"links":{"cited_paper":"/paper/2305.06161","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:aad80884571e455275b3373eb770bb665c0cae25f07a528c25aa7ab77130bc17","observation_id":"a12b0d58-2c5d-4af4-9ae4-d98f95b0a3b5","resolution":{"observed_at":"2026-08-16T12:11:29.285677Z","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-16T12:11:29.289146Z","title":"Cycle: Learning to self- refine the code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.289146Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:2c9572d5904a574ab39c90695eb9ee3a358b4c3f009202b6e480187952f48659","observation_id":"19d8dbbf-05bf-4f97-a701-86600eb0ad8f","resolution":{"observed_at":"2026-08-16T12:11:29.289146Z","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-16T12:11:29.788303Z","title":"Evaluating language models for efficient code generation,","venue":null,"work_id":"7b456bd2-af36-423b-ae85-01bdf145e938","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.292724Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:44ed422b536950960428add358e54ba8a59155661c7c06cb3203e44d8ad54b61","observation_id":"9ef33c84-0f14-4ed0-999f-47b661980bc6","resolution":{"observed_at":"2026-08-16T12:11:29.791793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11931","last_updated":"2024-06-17T13:51:35Z","snapshot_observed_at":"2026-08-14T04:42:19.578053Z","submitted_at":"2024-06-17T13:51:35Z","title":"DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11931","snapshot_observed_at":"2026-08-16T12:11:29.295779Z","title":"Deepseek-coder-v2: Breaking the barrier of closed-source models in code intelligence,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.295779Z"},"links":{"cited_paper":"/paper/2406.11931","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:b46e77418d5739f80dcc9f8d9878110be1bd7b398c41aa21c261c9c2a38b302e","observation_id":"36fb272e-dad0-4163-ae06-4886e646252f","resolution":{"observed_at":"2026-08-16T12:11:29.295779Z","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-16T12:11:29.778323Z","title":"Large language models are zero-shot fuzzers: Fuzzing deep-learning libraries via large language models,","venue":null,"work_id":"4c03dfd6-32a7-4c7b-b5fb-a534855a6dfe","year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.299307Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:e8da56fe6ad811052d6e260bbd137a49ffcb9660334608620d44e371207638c7","observation_id":"8d725014-9114-4a43-a01c-c11af3d9251d","resolution":{"observed_at":"2026-08-16T12:11:29.782008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.302236Z","title":"Large language models are few- shot testers: Exploring llm-based general bug reproduction,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.302236Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:b548f326608d93c2b0bd3bfe0668bb01cd0455044ba2e7d75553ecf3a0570c07","observation_id":"cf7175bc-7cf9-40b9-a5f7-b7f83b38964e","resolution":{"observed_at":"2026-08-16T12:11:29.302236Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.15991","last_updated":"2024-09-04T18:25:09Z","snapshot_observed_at":"2026-08-16T14:49:16.071851Z","submitted_at":"2023-10-24T16:39:06Z","title":"WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.15991","snapshot_observed_at":"2026-08-16T12:11:29.305719Z","title":"Whitefox: White-box compiler fuzzing empowered by large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.305719Z"},"links":{"cited_paper":"/paper/2310.15991","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:fb70996914f906732e8ed6be6019e02c8b1ab16044249d13472ec7437043ab6d","observation_id":"3ba93948-62fa-4478-a84d-453260372194","resolution":{"observed_at":"2026-08-16T12:11:29.305719Z","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-16T12:11:29.308986Z","title":"Code-aware prompting: A study of coverage-guided test generation in regression setting using llm,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.308986Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:8f29bf639562bfc1be4b1542b7f6c724aaa9535dae8f9d3d1362177e9af8674d","observation_id":"fdbeea85-ce4a-4744-a52a-229c8d2cc1d3","resolution":{"observed_at":"2026-08-16T12:11:29.308986Z","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-16T12:11:29.761476Z","title":"An empirical study of deep learning models for vulnerability detection,","venue":null,"work_id":"394fff11-a29c-4ff7-936b-84eec22dce43","year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.313066Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:34922d05d44f4edd1c475c9c645891b1601eed4e0c6d5839026416a8d3657619","observation_id":"2ea1f649-9134-48bd-bc06-458de7acac67","resolution":{"observed_at":"2026-08-16T12:11:29.765043Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.750099Z","title":"Enhancing static analysis for practical bug detection: An llm-integrated approach,","venue":null,"work_id":"78742071-b6f4-40df-8333-02aec36c51f2","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.316198Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ae340e21b7574c3d20a4fb8d812f3c0e7b7cbc89c2424e33029fb480dfaf6a50","observation_id":"03b7b2b9-990f-4781-a088-eaeeeb57476d","resolution":{"observed_at":"2026-08-16T12:11:29.754155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.739995Z","title":"Sanitizing large language models in bug detection with data-flow,","venue":null,"work_id":"4e559556-5f64-4063-92a6-d22efd9bdcb2","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.319402Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:4e8f7943630c3ecee30046b1ca91001ac23dc5b35c2fecfdb96f7fb793e8d0b8","observation_id":"a7620c75-16cd-4ee3-a2db-2f77a8a49601","resolution":{"observed_at":"2026-08-16T12:11:29.743512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-16T12:11:29.729979Z","title":"LLMDFA: analyzing dataflow in code with large language models,","venue":null,"work_id":"a19adf4e-2717-4f8a-aa5f-ed929f417086","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.322617Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:5908838f34fb761c534b61fe856776debed5dfff1f0d88f770de3ee4d34d2140","observation_id":"33203d66-8435-4ed8-8df7-632a4cce2043","resolution":{"observed_at":"2026-08-16T12:11:29.733710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.18160","last_updated":"2025-05-29T22:08:26Z","snapshot_observed_at":"2026-08-20T02:37:55.059415Z","submitted_at":"2025-01-30T05:56:30Z","title":"RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.18160","snapshot_observed_at":"2026-08-16T12:11:29.325674Z","title":"Repoaudit: An autonomous llm-agent for repository-level code auditing,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.325674Z"},"links":{"cited_paper":"/paper/2501.18160","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:053107bfbdd76ddaf1ebddffcfa9ede0292923c71951f9411cb13bc9a74dd5e7","observation_id":"3d78deec-42de-41b9-be06-813150c619cd","resolution":{"observed_at":"2026-08-16T12:11:29.325674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17238","last_updated":"2025-04-06T23:46:59Z","snapshot_observed_at":"2026-08-20T09:56:24.907809Z","submitted_at":"2024-05-27T14:53:35Z","title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17238","snapshot_observed_at":"2026-08-16T12:11:29.329119Z","title":"Llm-assisted static analysis for detecting security vulnerabilities,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.329119Z"},"links":{"cited_paper":"/paper/2405.17238","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:b1d24c7918e1f50abbe4d3af6ed8ecef9b3b3cef12b1ed43725b9c440cf62882","observation_id":"ffb255b1-948c-4735-b1ec-372ef30fb956","resolution":{"observed_at":"2026-08-16T12:11:29.329119Z","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-16T12:11:29.718832Z","title":"Resym: Harnessing llms to recover variable and data structure symbols from stripped binaries,","venue":null,"work_id":"16d9e631-184e-42bf-b3e6-9c318c5b734a","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.332677Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:1ac8f17e8caac3c6812e5c06c279a1bd0d86f00ec7fc2a927466499679b15cae","observation_id":"1ba15d87-23c9-48e4-84cc-21af7b436911","resolution":{"observed_at":"2026-08-16T12:11:29.723253Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.02546","last_updated":"2024-12-09T06:45:17Z","snapshot_observed_at":"2026-08-16T15:26:42.296555Z","submitted_at":"2023-06-05T02:39:48Z","title":"Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.02546","snapshot_observed_at":"2026-08-16T12:11:29.335786Z","title":"Leveraging generative models to recover variable names from stripped binary,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.335786Z"},"links":{"cited_paper":"/paper/2306.02546","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:e1e5687b474b176baf235632a5df0c29527f2e7f74bd896620119060327e497a","observation_id":"eba7e8d9-8f83-4435-954c-fb269f95d7fb","resolution":{"observed_at":"2026-08-16T12:11:29.335786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.05286","last_updated":"2024-10-22T03:58:20Z","snapshot_observed_at":"2026-08-16T14:11:37.942836Z","submitted_at":"2024-03-08T13:10:59Z","title":"LLM4Decompile: Decompiling Binary Code with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.05286","snapshot_observed_at":"2026-08-16T12:11:29.339661Z","title":"Llm4decompile: Decom- piling binary code with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.339661Z"},"links":{"cited_paper":"/paper/2403.05286","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:b6111ca1696bef5507be425f44a11534c2be7b4ab62d238cfe4ead97ae781be9","observation_id":"6bd3524f-0530-478c-af5a-714402db8db8","resolution":{"observed_at":"2026-08-16T12:11:29.339661Z","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-16T12:11:29.342826Z","title":"Impact of code language models on automated program repair,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.342826Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:bc3f3d31b2886a6294b506ff529e7031c0ef7cd9f3d8446c982d67be33f7c115","observation_id":"70b56488-6294-407d-92c2-bc2e53404842","resolution":{"observed_at":"2026-08-16T12:11:29.342826Z","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-16T12:11:29.345963Z","title":"Autocoderover: Autonomous program improvement,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.345963Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:4b8103310516c6b5d5b04d51a2cbc177179d65d335c565feaf58e4a74257d913","observation_id":"4aabf3d9-4737-4f6e-98f7-2930994aa842","resolution":{"observed_at":"2026-08-16T12:11:29.345963Z","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-16T12:11:29.349382Z","title":"How effective are neural networks for fixing security vulnerabilities,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.349382Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ca11dd7f3ae8478f1e95ebe49ba15ba86aff86502062e7d0eae2b904e8584722","observation_id":"55ab3d94-d3cf-48ce-b234-7fb971a4c351","resolution":{"observed_at":"2026-08-16T12:11:29.349382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-08-13T17:20:44.002518Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-16T12:11:29.352259Z","title":"The llama 3 herd of models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.352259Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:d6f63abc99215d6df1f38aa9942b98c5d458428019e2534337fc5474d374a86d","observation_id":"2dd1184c-4892-4627-927a-cc39c7a9da4f","resolution":{"observed_at":"2026-08-16T12:11:29.352259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-18T18:18:37.449517Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-16T12:11:29.355273Z","title":"Deepseek-v3 technical report,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.355273Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:6c932fa11859c44a3260c6f3b93caf14d86e79744cf4bde6ff5cd29f8a06899d","observation_id":"f4252a68-a87e-4e35-88a5-e6845e281686","resolution":{"observed_at":"2026-08-16T12:11:29.355273Z","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-16T12:11:29.358576Z","title":"Language mod- els are few-shot learners,","venue":null,"work_id":null,"year":1901},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.358576Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:90fad969a348873a5d8e9e17bc1bdd6db70cb8bb3d07de440f0b0cb612b52577","observation_id":"368272ff-d338-47f2-b5f6-691529d5767e","resolution":{"observed_at":"2026-08-16T12:11:29.358576Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.03324","last_updated":"2025-02-09T21:28:58Z","snapshot_observed_at":"2026-08-16T15:26:20.719452Z","submitted_at":"2023-06-06T00:28:39Z","title":"How Effective are Large Language Models in Generating Software Specifications?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.03324","snapshot_observed_at":"2026-08-16T12:11:29.361950Z","title":"Impact of large language models on generating software specifications,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.361950Z"},"links":{"cited_paper":"/paper/2306.03324","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:4e628feb67d7543d9ab33531fc63423331c0fab96a5584d0a94bc2b16e214479","observation_id":"9c0f72a3-f7aa-4e78-80b6-18759cf4ff68","resolution":{"observed_at":"2026-08-16T12:11:29.361950Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.10264","last_updated":"2022-12-20T14:11:31Z","snapshot_observed_at":"2026-08-16T16:07:19.231013Z","submitted_at":"2022-12-20T14:11:31Z","title":"ReCode: Robustness Evaluation of Code Generation Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.10264","snapshot_observed_at":"2026-08-16T12:11:29.365659Z","title":"Recode: Robustness evaluation of code generation models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.365659Z"},"links":{"cited_paper":"/paper/2212.10264","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:4a6d3345568eaa9939e92ab95866c5eee4229b54746638cd2b90f4537e772cbe","observation_id":"7857328b-460f-451d-b590-b7055fc44501","resolution":{"observed_at":"2026-08-16T12:11:29.365659Z","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-16T12:11:29.368916Z","title":"Exploring and evaluating hallucinations in llm-powered code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.368916Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:b266716f178b5b402111eef26ab74dc92c0993612b9a29c24462bb33bf174f67","observation_id":"79d41220-0508-47c6-9575-8bbcab2e2aa0","resolution":{"observed_at":"2026-08-16T12:11:29.368916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16437","last_updated":"2024-09-21T07:48:58Z","snapshot_observed_at":"2026-08-16T14:06:49.594818Z","submitted_at":"2024-03-25T05:37:16Z","title":"Reasoning Runtime Behavior of a Program with LLM: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16437","snapshot_observed_at":"2026-08-16T12:11:29.371954Z","title":"Reasoning runtime behavior of a program with llm: How far are we?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.371954Z"},"links":{"cited_paper":"/paper/2403.16437","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:b3c168f1dfa1420533713f2f78d6b15cf26f1cabb5c58c56931fcfbd7a4e5dcd","observation_id":"836c8ef8-0d64-4947-bf9b-9f06c91e59d6","resolution":{"observed_at":"2026-08-16T12:11:29.371954Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.09664","last_updated":"2026-04-07T05:36:18Z","snapshot_observed_at":"2026-07-06T17:30:25.359458Z","submitted_at":"2024-02-15T02:24:46Z","title":"CodeMind: Evaluating Large Language Models for Code Reasoning","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.09664","snapshot_observed_at":"2026-08-16T12:11:29.375341Z","title":"Code- mind: A framework to challenge large language models for code reasoning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.375341Z"},"links":{"cited_paper":"/paper/2402.09664","citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:ccbaa240f3c011b100220306be852dc455b7e9ae16f91f6bc95828644f699cfc","observation_id":"d6970d8d-07f7-4fcf-824f-73a024b47c50","resolution":{"observed_at":"2026-08-16T12:11:29.375341Z","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-16T12:11:29.378575Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.378575Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:4106f72656f7bd1e4fbbda412125c061c3bc9f893ad66073c55746826e331d76","observation_id":"ee921ae5-875c-4474-b5e3-0d6b3b7b795c","resolution":{"observed_at":"2026-08-16T12:11:29.378575Z","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-16T12:11:29.685516Z","title":"Retrieval augmented generation with llms for explaining business process models,","venue":null,"work_id":"6280f670-8c66-4533-91d1-45dd966a39c2","year":2024},"citing_paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-16T12:11:29.381621Z"},"links":{"citing_paper":"/paper/2504.13515"},"observation_digest":"sha256:11c9b9bc86a0a08c43413b86d65e2498d7b695626c6bc7dc0e9d4229bd8b607e","observation_id":"bfee54bb-b515-4294-9daa-171a5221e570","resolution":{"observed_at":"2026-08-16T12:11:29.691108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.13515","last_updated":"2025-04-18T07:09:56Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-20T02:37:30.383435Z","submitted_at":"2025-04-18T07:09:56Z","title":"Large Language Models for Validating Network Protocol Parsers"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":0,"verified_fuzzy":33},"total_outbound_references":57},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 1 inbound Pith citation observation for arXiv:2504.13515."}