{"as_of":"2026-08-05T21:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e8e3f46a1d9f72ce527ed67f2f58b8d67600ef177e1af58354f5e4b50801b310","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T16:53:14.049390Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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/2606.20969/citation-record","integrity":"/paper/2606.20969/integrity","json":"/paper/2606.20969/citation-record.json","paper":"/paper/2606.20969"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:53:14.049390Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:3335f50b05c728058bd576e833daa277695b1fbee013a31d8a5a537c5686c854","observation_id":"17c29eb9-a3fb-4268-8ab6-0abf541ffdf3","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21061","last_updated":"2025-04-29T10:02:29Z","snapshot_observed_at":"2026-07-06T21:16:41.564014Z","submitted_at":"2025-04-29T10:02:29Z","title":"Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis","version":1},"cited_work":{"arxiv_id":"2504.21061","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.21061","snapshot_observed_at":"2026-07-04T04:39:34.696898Z","title":"Seeking specifications: The case for neuro-symbolic specification synthesis,","venue":null,"work_id":"0d7e20a4-104a-46f2-9dc1-c02b06b08af5","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"cited_paper":"/paper/2504.21061","citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:ede485bd5a3234dafbf88833684cb4fc913b4ea5f7d059b23b9ed5529bf0b490","observation_id":"7a1f7077-adcb-4b63-ba2b-7ccccedfb946","resolution":{"observed_at":"2026-07-04T04:39:34.698539Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Specify what? Enhancing neural specification synthesis by symbolic methods,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:1e6d5887761ebb0abbff1e20b7fb4c4a617541b2286dac940d595a73d93636f5","observation_id":"c4e4feb1-3e46-421a-9463-bb3fe1cfff2c","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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":"2311.02433","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T04:39:34.690737Z","title":"Can ChatGPT support software verification?","venue":null,"work_id":"d20f4ea2-d54c-4e87-8b2b-50788e37894c","year":2023},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:a462ffb6b5cb7c9480c9b59307d6046a3fe621132ac66a319be910a71913cb05","observation_id":"b13af219-eb1d-402d-bb8d-8dbb48ae0bfe","resolution":{"observed_at":"2026-07-04T04:39:34.692792Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2412.10483","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T04:39:34.689012Z","title":"En- hancing automated loop invariant generation for complex programs with large language models,","venue":null,"work_id":"40293d78-204d-43f1-9709-a19613405db6","year":2024},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:1971f73a6b41a7d0a8c57dd96232bf79426fde6937a580b3b8f013cb0a6bd3e6","observation_id":"148b8f3a-30b5-42d8-8736-2e5b1061d1fb","resolution":{"observed_at":"2026-07-04T04:39:34.691166Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Mod- eling and discovering vulnerabilities with code property graphs,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:9b84753def72eb98b9cf65b08cd66b31802683fe69ecc93197fddb062df20a63","observation_id":"a90567ac-4135-4b04-a193-1c4bfc8d90a9","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"The daikon system for dynamic detection of likely invariants,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:16181aa393ce6affad7a5e474e9271bba5979e5cb10ca141d04e368cb57834ee","observation_id":"c47e1968-2b04-4089-a1b0-2ab499882779","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0454.351683","doi":"10.1145/3510454.3516833","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"QuSBT: Search-based testing of quantum programs","venue":null,"work_id":"e3f2d8c0-5873-409b-95cc-61968f69d29f","year":2022},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:18e9cef79d122df1ce7aa2f082c2003e9d7a3f222471fdf1b270eee0244545bf","observation_id":"4d34e472-3c01-4e1e-9a33-0139c3402960","resolution":{"observed_at":"2026-06-26T16:59:35.835129Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8088.13681","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T04:39:34.694059Z","title":"Dysy: dynamic symbolic execution for invariant inference,","venue":null,"work_id":"6aa58558-e827-4196-889c-75af708a2220","year":2008},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:fec0356dfcd87a269c00f914f5529ddcb2ba3be09c300a549c91b4271939ca48","observation_id":"dabc3088-da30-4cdf-8860-a544cb1496f3","resolution":{"observed_at":"2026-07-04T04:39:34.695727Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Speedy: An eclipse-based ide for invariant inference,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:35dd5c9c6ebdf7508fa59234637a751d32e26d444e903ffb6754852f67355b65","observation_id":"b8eb17da-92e0-49ed-9ffe-961932c9dd84","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"Efficient mining of iterative patterns for software specification discovery,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:bca00d46fd9a56a8472db54d162e54039a1e56819ec923d30318cf7bd6f35bf0","observation_id":"fe1455e3-dc17-4ec9-9e59-fd68c48e660c","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"Abstract contract synthesis and verification in the symbolic k framework,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:da73c3914b41819b61f2c83abebdefa0681d711238697af76b896a6aa43db53c","observation_id":"e6824622-14b9-408a-8a3b-15af52f2b893","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"Automated synthesis of software contracts with kindspec,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:d13bb000363d6de76fbfc7022a4efb51373c014f960689e6cbf1e91f1c064ab9","observation_id":"21bcee9f-062f-46c0-b0d0-db971b9657c4","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1508.03894","last_updated":"2015-08-17T01:36:49Z","snapshot_observed_at":"2026-07-06T04:26:51.589750Z","submitted_at":"2015-08-17T01:36:49Z","title":"An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project","version":1},"cited_work":{"arxiv_id":"1508.03894","doi":null,"metadata_source":"pith","pith_arxiv_id":"1508.03894","snapshot_observed_at":"2026-07-04T04:39:34.699855Z","title":"An experimental study using acsl and frama-c to formulate and verify low-level requirements from a do-178c compliant avionics project","venue":"cs.SE","work_id":"ece069fd-5239-4b54-b9b6-df97d4b5a5e4","year":2015},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"cited_paper":"/paper/1508.03894","citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:ba5bced895436a3f728d0af0ae5b32cfe216658a5d6ea39aa8cc2f187e9d7d24","observation_id":"0f7c6bef-01e3-4f7c-9631-b581c4b1cc43","resolution":{"observed_at":"2026-07-04T04:39:34.701323Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.10889","last_updated":"2025-01-18T22:00:43Z","snapshot_observed_at":"2026-08-04T12:37:00.645483Z","submitted_at":"2025-01-18T22:00:43Z","title":"AutoDeduct: A Tool for Automated Deductive Verification of C Code","version":1},"cited_work":{"arxiv_id":"2501.10889","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2501.10889","snapshot_observed_at":"2026-07-04T04:39:34.682786Z","title":"Autodeduct: A tool for automated deductive verification of c code,","venue":null,"work_id":"23785163-aa8e-42b4-82fa-9aba02159fa7","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"cited_paper":"/paper/2501.10889","citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:e399841eec1bb298f84f2332bc7bc32281ab4c7f996c87ec87b0e0484c247a50","observation_id":"d20ea517-ae7b-4a8e-a8dc-bf118110f946","resolution":{"observed_at":"2026-07-04T04:39:34.684793Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Automated inference of ACSL function con- tracts using tricera,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:76250bceacb3057b1ef0a3ad58860a179c998dcbe92c89830259f44f92723fd3","observation_id":"8876ed53-c014-44d9-aeaf-7c007bbcb719","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:22761274e75ff29b6cf7982baf5de64886651a1c6ec5bea08d1369d99286ab68","observation_id":"572d2c98-43fe-483e-bc0c-995d05145fc9","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"[Online]","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:013a33351d7253a54decabfe0faa7a67f80d7cde69315b719070f5e515803c9f","observation_id":"dfd5cd6f-220a-4c55-9981-45a1df061cb1","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"Enchanting program specification synthesis by large language models using static analysis and program verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:8a85be95beae0bccac88d4e7a9642cb9024e448a3c112a773443b15d2bb95bbb","observation_id":"3a51ca1a-79f8-4b9d-bb86-5dbb318a6ae4","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"Veco- gen: Automating generation of formally verified c code with large language models,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:00fc6a91abd40ac79adbc7e36920edf254c6b016972001e20f107e21c3b10262","observation_id":"986d2a39-8dba-4329-8939-17e4d344fec7","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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":"1620.36950","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T04:39:34.664802Z","title":"LLM meets bounded model checking: Neuro-symbolic loop invariant inference,","venue":null,"work_id":"9e106860-152a-4b89-953b-35a117b92350","year":2024},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:a85457b4ac75bd85911cce79160a84fcd7cce7b54ce29d09f8b1d386e3f7cc8e","observation_id":"2e11d2e1-b367-4777-90d7-4db816f9c2fc","resolution":{"observed_at":"2026-07-04T04:39:34.681475Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6660.2025","doi":"10.1109/nse66660.2025.00007","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Next steps in LLM-Supported Java verification,","venue":null,"work_id":"4a60938e-57f7-47e1-bfa9-82e740bb3270","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:bd5006d8e7040b26ccc392d5a9f5ccebba9fc33ab7351bcdd89ee56cb71b2dd5","observation_id":"04c20b8c-ba46-4eb1-9463-96756865c5c6","resolution":{"observed_at":"2026-06-26T16:59:35.832462Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Automated generation of code contracts: Generative ai to the rescue?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:e63750e9b3f8ced234b741ddacf84e472275591f330a87ba84d5f24e58ae32ef","observation_id":"8126364d-31b3-4dcc-83c0-993338fe97b5","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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":"5347.2025","doi":"10.1109/icse55347.2025","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation","venue":null,"work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:8758a55fcb3c7f941dd3ee2941ec466d41c1d70a232d786a5a05355e5dca0c39","observation_id":"11b289f0-53b6-4303-9554-c9e829a4a98b","resolution":{"observed_at":"2026-06-26T16:59:35.826659Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"A tale of 1001 loc: Potential runtime error-guided specification synthesis for verifying large-scale programs,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:1655bfd08a8fe6f82e5858f0c1b95913a805ddc905a49c8b9cc8c4f294027278","observation_id":"98d4e825-bc25-4038-97ff-097f948bc0f2","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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":"2410.15756","doi":"10.48550/arxiv.2410.15756","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2410.15756 , year=","venue":"arXiv (Cornell University)","work_id":"178f5bd9-e7fd-4ba2-a79c-941bbaa5e901","year":2024},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:c4dd20087eda1b108a2c0dbcd6194e135e1a9cc63e195466554cb8977c27f745","observation_id":"0abb81b4-4449-4856-9aac-6e6c6f390f37","resolution":{"observed_at":"2026-07-04T04:39:34.704045Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.18917","last_updated":"2025-06-10T22:11:53Z","snapshot_observed_at":"2026-08-03T02:17:55.804921Z","submitted_at":"2025-02-26T08:10:57Z","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","version":2},"cited_work":{"arxiv_id":"2502.18917","doi":"10.48550/arxiv.2502.18917","metadata_source":"pith","pith_arxiv_id":"2502.18917","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","venue":"cs.AI","work_id":"adb513f7-234b-4704-a411-372cca0898d0","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"cited_paper":"/paper/2502.18917","citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:cf8b3c27d5c535ef46acee1e055397a516c2263c37d2547e61ebb4f191d96de5","observation_id":"89879d05-b4fb-4fbf-b4ed-2adb05d3c4c9","resolution":{"observed_at":"2026-07-04T04:39:34.694364Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Propertygpt: Llm-driven formal verification of smart contracts through retrieval-augmented property generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:946aa6762bc07c7ff5dd9fd53d9d078786c9ad0e5a2f056ce8de69375b4c33f7","observation_id":"1583e8ba-d4f4-4319-a51e-c4424f403132","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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":"2025.241357","doi":"10.14722/ndss.2025.241357","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation","venue":null,"work_id":"03cb8185-2986-48be-b742-ee2962655ceb","year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:b10b0b502e31a53a663145f27c80aa0a80659d11ae5f268e8d86ca66d4b536f7","observation_id":"cf2da85f-9988-46b0-8c77-e25a8d75150f","resolution":{"observed_at":"2026-06-26T16:59:35.829287Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-13T09:19:30.95965+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T09:19:30.95965+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-26T16:53:14.049390Z","title":"Loop verification with invariants and contracts,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:1b509cf5424f959f24fb69741b5ed442a98e0f17fdba798f1e2fa65663217a18","observation_id":"4e767b3c-8af8-4c3c-9a3f-dc9276acbdd4","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","resolver_source":null,"status":"malformed_identifier"},"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-06-26T16:53:14.049390Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:e075cce342861eed4bb706d1d3a20cc70784fec942d8ebcf8d7cb997f604268a","observation_id":"34cd1f25-a671-4f40-86aa-2e6368d8f977","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","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-06-26T16:53:14.049390Z","title":"Casp: an evaluation dataset for formal verification of c code,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-26T16:53:14.049390Z"},"links":{"citing_paper":"/paper/2606.20969"},"observation_digest":"sha256:f63948b8f3bce56d663cec63101e59d5baf351c5cf1cb721b953df5b7c4dd67b","observation_id":"6b0a98c6-f0a4-4451-b9e0-08c7cdb709cb","resolution":{"observed_at":"2026-06-26T16:53:14.049390Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.20969","last_updated":"2026-06-18T22:16:23Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-02T10:30:51.161205Z","submitted_at":"2026-06-18T22:16:23Z","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":4,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":17,"verified_exact":8,"verified_fuzzy":0},"total_outbound_references":32},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2606.20969."}