{"as_of":"2026-08-09T13:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:38c714cd79a924c61189f324834828bd32886451bd9461b3fe3ee22abbf50a22","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T16:14:55.605115Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2508.18798/citation-record","integrity":"/paper/2508.18798/integrity","json":"/paper/2508.18798/citation-record.json","paper":"/paper/2508.18798"},"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-05T16:14:56.488704Z","title":"original-date: 2019-06-03T12:22:56Z","venue":null,"work_id":"6b6f5795-c457-4e4b-aade-56350648f1f0","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.363597Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:e6b22af0fe987f25f3d371e121432d7a6f3dead7f59599c99ece158b166e452f","observation_id":"c8751234-e67e-4e03-bd15-96c1cd0ecb53","resolution":{"observed_at":"2026-08-05T16:14:56.496290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.07146","last_updated":"2019-04-12T17:59:08Z","snapshot_observed_at":"2026-08-06T20:46:07.805530Z","submitted_at":"2019-04-12T17:59:08Z","title":"SyGuS-Comp 2018: Results and Analysis","version":1},"cited_work":{"arxiv_id":"1904.07146","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.07146","snapshot_observed_at":"2026-08-05T16:14:55.783878Z","title":"SyGuS-Comp 2018: Results and Analysis","venue":"cs.PL","work_id":"2df8913c-75b1-47a9-a056-f231ecf303e6","year":2019},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.369926Z"},"links":{"cited_paper":"/paper/1904.07146","citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:1ac37c1d77eefbd93a34a11893c729ad28437c02683ddd29247855cf71edf350","observation_id":"94ced1b9-78b3-414c-b6f2-24770bd3d8c8","resolution":{"observed_at":"2026-08-05T16:14:55.793621Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.467611Z","title":"Ansi/iso c specification language version 1.21, 2024","venue":null,"work_id":"fbeb4934-f146-4765-b725-b00ed9549e2e","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.375871Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:ef2314b6515a32d98fdb474f5dc3a7141737517dd6cfc10021eaa10835a4ca37","observation_id":"194bdbd2-40df-4dfd-b32b-6c308069ec0e","resolution":{"observed_at":"2026-08-05T16:14:56.473127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.446431Z","title":"Progress on Software Verification: SV-COMP 2022","venue":null,"work_id":"d9e9f0c9-2809-422f-80f9-9664f8f0a166","year":2022},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.383298Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:7f1186e84a0f301d27f0078fe8ae77e2ba45be6892fa7b9860858aa84a3762ab","observation_id":"43aeeadd-9160-4b3b-8c41-aaa2cd5ed772","resolution":{"observed_at":"2026-08-05T16:14:56.453561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.395521Z","title":"Frama-c and wp tutorial code examples","venue":null,"work_id":"368d49b8-22ae-412a-9c5f-af317ed83254","year":2025},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.399785Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:07cc938a663c5e8fea22eafca167842616076c2a8f96bb5185a0f6e657198af9","observation_id":"a6e84eb8-5ee6-4fdb-87b0-3a70b585ff79","resolution":{"observed_at":"2026-08-05T16:14:56.408179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.371984Z","title":"Formally verifying that a program does what it should: The wp plug-in","venue":null,"work_id":"f26caeda-a7fa-49e8-a5ff-bdd11c2aced7","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.405509Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:f4255b59cda6e34274e694b5444c7ea20bb608e4bbea932ccc72e01d0fa51d36","observation_id":"3ac8d01c-9f5a-4e9f-b8d6-d712a9fbb015","resolution":{"observed_at":"2026-08-05T16:14:56.377806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.345494Z","title":"Language Models are Few-Shot Learners","venue":null,"work_id":"2eeb07a8-ee8a-4a97-bbf6-d4cc8c6a3a17","year":1901},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.412397Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:f9afab313a89960a0807c36570b4379090309f21378f80d3ab58b00f5612e4e8","observation_id":"575e209c-0ba4-470a-bfdf-0099df7d623f","resolution":{"observed_at":"2026-08-05T16:14:56.354787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-05T16:14:55.418004Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.418004Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:3e66b30e308400cdcfddb6c2457c9bb0558f3c8f667b43e1104baddec8dce4e2","observation_id":"e4b53961-8c8b-4825-8a83-0765426153d2","resolution":{"observed_at":"2026-08-05T16:14:55.418004Z","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-05T16:14:56.307447Z","title":"Frama-c user manual for frama-c 30.0 (zinc), 2024","venue":null,"work_id":"663d1fdc-5414-4105-88d9-a782000f0b6d","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.423526Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:320434f19a74bd3442265039822c0e243467e48f5d1cfb5f9286b0e82938922d","observation_id":"3575c97e-e30d-4e97-ae80-ff72d14ec52c","resolution":{"observed_at":"2026-08-05T16:14:56.314537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.282781Z","title":null,"venue":null,"work_id":"3c5b7ba3-ea72-480d-8da0-9b969a73b919","year":2012},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.428980Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:ea1c93ae75ce9786166d4f4f5f8fa60390b78935d5d7bd9c0392efed93326dc9","observation_id":"300c5480-a923-47dc-86bc-76ac0c6da4b1","resolution":{"observed_at":"2026-08-05T16:14:56.287992Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.252145Z","title":"Inductive Invariant Generation via Abductive Inference","venue":null,"work_id":"08e53317-4934-4f08-b103-d0dd3ecc485e","year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.435004Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:16cf845ab1dcb31b92fe58c36263bc9f45d80483d06782a323f98eb10dfd6e91","observation_id":"c9346a0a-5a98-4145-bf27-bc6d4f74eee8","resolution":{"observed_at":"2026-08-05T16:14:56.262124Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1508.03894","last_updated":"2015-08-17T01:36:49Z","snapshot_observed_at":"2026-08-06T09:04:18.774309Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1508.03894","snapshot_observed_at":"2026-08-05T16:14:55.444317Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.444317Z"},"links":{"cited_paper":"/paper/1508.03894","citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:2f5de3d69c3592d289e5648fb512a88dfd4736b2c481f5b4661200a00d9df614","observation_id":"998267a0-1910-4a5f-98aa-bfbaff31c2d7","resolution":{"observed_at":"2026-08-05T16:14:55.444317Z","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-05T16:14:56.217939Z","title":"evdenis/acsl-proved, March 2016","venue":null,"work_id":"db4de9bd-9bca-4818-bbe2-41ff80821038","year":2016},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.452629Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:9d721cf5a50833441a426b385602d3d2c25a767663682c5eb36d5254235cffac","observation_id":"34e7af06-e318-4814-b052-443de946940d","resolution":{"observed_at":"2026-08-05T16:14:56.225980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.186739Z","title":"Deductive verification of unmodified linux kernel library functions","venue":null,"work_id":"bfbb4f31-f6a1-4d1c-b896-b973dbd107fb","year":2018},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.460211Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:c4e4173f1d2fde09913c9559883f0d8274b3b4ec257d9dfa97e19c3c03ee02c1","observation_id":"a005bea4-e54b-4b52-bc8b-a6cdcc79ef3d","resolution":{"observed_at":"2026-08-05T16:14:56.194583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.158701Z","title":"ACSL by Example (Version 22.0.0) for Frama-C 22.0 (Titanium)","venue":null,"work_id":"a2288b0c-32cc-4b80-bd31-379ede8480a4","year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.467150Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:6b932f355b26be6a15a07bc4ace40681382fe7fd8bcb2c14c44ea687ec2b2a15","observation_id":"9c208bbf-8b2f-4721-ab92-31696ee05fc6","resolution":{"observed_at":"2026-08-05T16:14:56.165634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.115927Z","title":"Specify what? enhancing neural specifica- tion synthesis by symbolic methods","venue":null,"work_id":"f2c70a68-d6fc-4981-b837-b54195bc5c2c","year":2025},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.486603Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:0b35ce582f21ef5fe65e2fc4b7faae84332034242c44f817539b7cef9cc6aa6b","observation_id":"9814746b-5153-4573-94fe-4d4dbf70752d","resolution":{"observed_at":"2026-08-05T16:14:56.122892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.093127Z","title":"Verifast: A powerful, sound, predictable, fast verifier for c and java","venue":null,"work_id":"04382ba1-6c77-4e1d-a219-2034a8a84765","year":2011},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.494677Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:84ece60a4ba4d27b9ce584ddbcfdcbf6a1e371e76467740f168977c7e0359b84","observation_id":"9867390b-6c4d-4dbb-a0c7-c9e9890fecc4","resolution":{"observed_at":"2026-08-05T16:14:56.099906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.070296Z","title":"Frama-C: A software analysis perspective.Form","venue":null,"work_id":"eacf162e-d4a0-4684-9f28-8ed1f84f4729","year":2015},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.502454Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:ea30e97fd620ba7eb6fa11696fdc4b8941a521a265f144adf494c50e8f1ace28","observation_id":"87c27783-b5db-4731-b659-00bc1de57a9c","resolution":{"observed_at":"2026-08-05T16:14:56.076661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.045080Z","title":"The stack: 3 tb of permissively licensed source code, 2022","venue":null,"work_id":"64abc653-7bd2-4792-850d-327a2240aea2","year":2022},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.508482Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:c7011522a48847d2f29ca78ddd318044da7ce61150e7178980ea30afed76baa5","observation_id":"608fbc66-6ac8-4938-b2fe-b6ebb76aefcf","resolution":{"observed_at":"2026-08-05T16:14:56.052014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.022406Z","title":"Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals","venue":null,"work_id":"b35d4f9a-c46a-4c5c-8b4c-76819322649e","year":2022},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.518584Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:0051572fee7e086a3870777a9f4d004f990e7c58413cd5e19f750f8136197a78","observation_id":"828a5338-9edc-4420-a3be-35d461d2f9fd","resolution":{"observed_at":"2026-08-05T16:14:56.029802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.12644","last_updated":"2025-08-08T04:35:26Z","snapshot_observed_at":"2026-07-06T19:52:42.231424Z","submitted_at":"2024-11-19T16:54:45Z","title":"CodeXEmbed: A Generalist Embedding Model Family for Multiligual and Multi-task Code Retrieval","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.12644","snapshot_observed_at":"2026-08-05T16:14:55.526046Z","title":"Codex- embed: A generalist embedding model family for multiligual and multi-task code retrieval","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.526046Z"},"links":{"cited_paper":"/paper/2411.12644","citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:c180575d20605768dc24584c10c683d9044f9fa81363b9f71dd2f13796628847","observation_id":"ba36f857-a00b-47e1-a8ca-22dcb266a9ab","resolution":{"observed_at":"2026-08-05T16:14:55.526046Z","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-05T16:14:56.000133Z","title":"Starcoder 2 and the stack v2: The next generation, 2024","venue":null,"work_id":"3c7dafc5-f456-430a-9cbd-3e98b12faeb9","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.537437Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:3eb1b7deb4205df8abe74d7ad1d44e291fe826cd5d102bfd4bc3f243ee391ca4","observation_id":"7a280585-d006-4ad5-a077-c0211d4148a0","resolution":{"observed_at":"2026-08-05T16:14:56.006542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2203.13474","last_updated":"2023-02-27T21:26:48Z","snapshot_observed_at":"2026-07-06T12:52:16.992962Z","submitted_at":"2022-03-25T06:55:15Z","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.13474","snapshot_observed_at":"2026-08-05T16:14:55.546312Z","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Syn- thesis, February 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.546312Z"},"links":{"cited_paper":"/paper/2203.13474","citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:e9299aa9d2887cd26ffed3909cc1f9f838629be82bca88fd0573208d5d6e5714","observation_id":"bee26e13-35ae-4e4c-b4da-fa2edf73db5a","resolution":{"observed_at":"2026-08-05T16:14:55.546312Z","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-05T16:14:55.973520Z","title":"Towards specification-driven LLM-Based Gen- eration of embedded automotive software","venue":null,"work_id":"e4eba575-7583-4bcc-b97a-e838e7555533","year":2025},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.552082Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:25c1c9c9be4157e936499b3463f14247255d3761896c6face847b12991531d96","observation_id":"4ed641d1-6347-41e0-a275-e4845668f660","resolution":{"observed_at":"2026-08-05T16:14:55.983552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.954048Z","title":"manavpatnaik/frama-c-problems, October 2024","venue":null,"work_id":"a1d9800b-a987-4310-aa28-c3aa908ed229","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.560132Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:eb4a520720df3423d34271bc453d4aade6f8a4158ad785a46af52272ba2bfd5a","observation_id":"ecf32a90-6f35-40e4-927d-70d348e56795","resolution":{"observed_at":"2026-08-05T16:14:55.959979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.921562Z","title":"VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models","venue":null,"work_id":"c8610cb1-e718-42c4-8560-dbc8c1f894db","year":2025},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.568711Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:5444b07ef5c91491990dd0057d46eac01010c556d3e2d950a2e22d37a1905c16","observation_id":"fdd78640-3305-4e77-b855-c7be3716fc32","resolution":{"observed_at":"2026-08-05T16:14:55.929426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.896219Z","title":"Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report","venue":null,"work_id":"0ad381cc-7222-42a5-b88d-9c60a697b41f","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.575284Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:033031e5c73743f7b9e7d754b8f4bce209560456ffaba3a888a504f4d81417f9","observation_id":"c1205e1e-5a0a-4710-b9dc-129b072253fe","resolution":{"observed_at":"2026-08-05T16:14:55.902885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.876298Z","title":"e x p l a n a t i o n","venue":null,"work_id":"1abcc854-5d43-4f84-908b-1c748b77c031","year":2024},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.581843Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:74dd01e7bbdc6e5778764fb1021897aafea25b3cdaee830520ea1746514d7aa8","observation_id":"bc4b0582-322b-402e-811f-682a0f81c648","resolution":{"observed_at":"2026-08-05T16:14:55.881447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.854927Z","title":null,"venue":null,"work_id":"23b0a1db-8977-453f-b0fb-72302888ce28","year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.591331Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:4c48c354cb585d1e082fa2bf0dfcc995479f7ab83eee2bde95c52b005268ee78","observation_id":"b152316a-d942-46f2-a8e3-668fb8562713","resolution":{"observed_at":"2026-08-05T16:14:55.862694Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.834344Z","title":null,"venue":null,"work_id":"0b779e46-6945-4946-8e31-6a1daf424ae8","year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.599001Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:4120c2d35e5081b50bfe7422c74479cc31e0f65005e69696a09ed54ddf04444f","observation_id":"470c208d-2dfa-4570-a9f0-994fdaeaabb0","resolution":{"observed_at":"2026-08-05T16:14:55.840284Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.814466Z","title":"f u n c t i o n _ i m p l e m e n t a t i o n","venue":null,"work_id":"5d44cbd3-9c1f-4da0-a51a-81d414b67118","year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.605115Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:264d2f85150d143db9358e90450e86852a18d168334fb4b4d5fa811a57b80456","observation_id":"b4a5cf8d-0838-46e5-b3d2-44323c5fde8a","resolution":{"observed_at":"2026-08-05T16:14:55.819995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:56.137777Z","title":"CASP: An evaluation dataset for formal verification of C code 15","venue":null,"work_id":"60e84310-808f-4035-a071-6300e0049d48","year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.476358Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:f62a0e8c6228ef52de87d2b8d879ed99fd81a74f644f74598547ab0be7181754","observation_id":"2f04f0b7-8fdf-4500-8334-98e40257e311","resolution":{"observed_at":"2026-08-05T16:14:56.144318Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-05T16:14:55.391728Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-05T16:14:55.391728Z"},"links":{"citing_paper":"/paper/2508.18798"},"observation_digest":"sha256:8ef0a575d1a622f0d6a7636016545cdd7ee5064db13f7391b36128ceabd5284b","observation_id":"369dc668-e73e-4c3b-961e-6182a5ea292d","resolution":{"observed_at":"2026-08-05T16:14:55.391728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.18798","last_updated":"2025-08-26T08:30:34Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-08T04:05:45.238169Z","submitted_at":"2025-08-26T08:30:34Z","title":"CASP: An evaluation dataset for formal verification of C code"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":1,"verified_fuzzy":24},"total_outbound_references":33},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2508.18798."}