{"as_of":"2026-08-15T02:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:78f571937569f17ca435aa6ad364f508f49d37341cc2c9e469148d799d5204b9","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-08-12T00:10:38.917549Z","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-14T06:32:32.682623+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/2608.08352/citation-record","integrity":"/paper/2608.08352/integrity","json":"/paper/2608.08352/citation-record.json","paper":"/paper/2608.08352"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"records/1080259","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:10:39.235054Z","title":"CReal Artifact","venue":null,"work_id":"cec75ecd-402f-4e59-8f82-358196b1208d","year":2024},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.785374Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:385ac4a998ec80423883d5f5904e5ae1d57852d2df62b7ad4ede1ec2499f156b","observation_id":"564f5831-b144-4449-b729-bae9f7be34c5","resolution":{"observed_at":"2026-08-12T00:10:39.242848Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"records/1576152","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T00:10:39.152817Z","title":"LegoFuzz Artifact","venue":null,"work_id":"4a3c0bb4-3f25-4cc5-a9ab-93553e7123f8","year":2025},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.790678Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:a656efc7aec2fafed9468daaec84578a775f1b34c053f838e3ec198c00215bfb","observation_id":"6d5babba-58d1-4936-bb90-a740ce16168d","resolution":{"observed_at":"2026-08-12T00:10:39.161531Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.553631Z","title":"GCC: GNU Compiler Collection","venue":null,"work_id":"3071be25-f4d1-4258-942f-bf1ea4fd104a","year":2026},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.795101Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:51475abb6e671b41b811021f091a7bacd8b3b3b4563a8f1e79e46841bcbf400b","observation_id":"6a3088c7-e553-4ce9-8f2d-71c157c7f1bc","resolution":{"observed_at":"2026-08-12T00:10:39.559002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.541426Z","title":"SimP Artifact","venue":null,"work_id":"a40729be-2598-4569-ab5d-b9b134b7f429","year":2026},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.799655Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:ba115f6bd57ce978b21d1e00c2500bfa1f8c92a2b88c2cecd4aafae2153bac16","observation_id":"777fead6-cf95-45f3-9414-3a6da9c6b257","resolution":{"observed_at":"2026-08-12T00:10:39.545343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-12T00:10:38.804805Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.804805Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:20e8252b1706db9c019d997b8272bb05b2276e1e80f99b8da558368103687883","observation_id":"416b1531-412a-498d-96a4-839d93742b53","resolution":{"observed_at":"2026-08-12T00:10:38.804805Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.02954","last_updated":"2024-01-05T18:59:13Z","snapshot_observed_at":"2026-08-14T19:47:04.330126Z","submitted_at":"2024-01-05T18:59:13Z","title":"DeepSeek LLM: Scaling Open-Source Language Models with Longtermism","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.02954","snapshot_observed_at":"2026-08-12T00:10:38.809188Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.809188Z"},"links":{"cited_paper":"/paper/2401.02954","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:16323b4762cbbaa8b46600a59e094cc22b209719a56ac2115c3a7bf2e09f1842","observation_id":"6b6c3004-165f-4ab9-8ad7-62fc953fc7b5","resolution":{"observed_at":"2026-08-12T00:10:38.809188Z","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-12T00:10:39.528396Z","title":null,"venue":null,"work_id":"00f7af98-d368-41bf-bd32-e0a98e65ee0c","year":2014},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.814079Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:d9a176e6dcd247475422f91cb59e075889a3c41bf43b7f5f962a3eb0cb211771","observation_id":"5988e96e-e5d0-473a-958a-c81eb1f7db67","resolution":{"observed_at":"2026-08-12T00:10:39.532714Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:38.818089Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.818089Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:7e0b4d86829ef719c2b09a57203009ef3e5da24993f15d58556383965a6fa1da","observation_id":"b27b9442-15e1-4248-997c-1b50e3056000","resolution":{"observed_at":"2026-08-12T00:10:38.818089Z","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-12T00:10:39.513860Z","title":"2018.{TVM}: An automated{End-to-End} optimizing compiler for deep learning","venue":null,"work_id":"58764645-8c54-4d2b-acc0-a46044a390df","year":2018},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.822454Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:f44385f103b16428562ce8339afcb6a533da05398bc7318b73a1363cf651f14e","observation_id":"935ae283-72b4-4368-9447-a644f5c04281","resolution":{"observed_at":"2026-08-12T00:10:39.519136Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.07062","last_updated":"2023-09-11T22:11:46Z","snapshot_observed_at":"2026-08-13T10:15:38.574522Z","submitted_at":"2023-09-11T22:11:46Z","title":"Large Language Models for Compiler Optimization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.07062","snapshot_observed_at":"2026-08-12T00:10:38.826433Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.826433Z"},"links":{"cited_paper":"/paper/2309.07062","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:bdfd1563f041616aff40e0ad27bf295f272e3e01bb8b3a02e132902085dd78ff","observation_id":"011ec132-0dc4-4530-8fcb-1693cc5a5c84","resolution":{"observed_at":"2026-08-12T00:10:38.826433Z","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-12T00:10:39.499077Z","title":"Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński","venue":null,"work_id":"02d561d3-90a5-4df7-a979-26f8520644a4","year":2021},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.830723Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:772a7cf6052165577479858838c69ed7d228aee4ec6f925b474db0aad206176c","observation_id":"cd7a2703-1de3-4690-a55c-54889813128e","resolution":{"observed_at":"2026-08-12T00:10:39.504632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.486263Z","title":null,"venue":null,"work_id":"283c569f-75a2-474b-92d4-20801ee9384e","year":2020},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.834670Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:5f886a82f3dd7e5db45bfdc8a73a9c5791916e11c17fc8f033272d27fa02bacd","observation_id":"58454e0f-f449-4f45-a1bb-ae4104a4fca7","resolution":{"observed_at":"2026-08-12T00:10:39.490511Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.473155Z","title":null,"venue":null,"work_id":"b42e44d1-f132-437e-b3af-0e8324e67e17","year":null},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.838439Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:83e99fa9c578456464d663b5fd28a19f1eed7c739558e8352fea46fca46af505","observation_id":"ee9f869c-85e7-4342-b68a-5b91ac07cd1d","resolution":{"observed_at":"2026-08-12T00:10:39.477467Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.460159Z","title":null,"venue":null,"work_id":"db0330f3-dc68-4fb4-bb78-3d7dfaf1af1e","year":2019},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.846367Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:d6605bc11b3337369616f4c60caa91a9fe29242ab743dcacd708a3e340cb0c4f","observation_id":"a8118a3d-589f-4246-8d30-c810787a02ef","resolution":{"observed_at":"2026-08-12T00:10:39.464714Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.445806Z","title":null,"venue":null,"work_id":"a4cef246-6cfd-4431-aaee-3512c61cfd80","year":2024},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.850658Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:f63be33809394df08939542830294a0b852ebfb94335ba59e1a5e4a17f2de762","observation_id":"a0aa4ed0-e933-4f27-a898-dffa92e32dc8","resolution":{"observed_at":"2026-08-12T00:10:39.450049Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.432733Z","title":null,"venue":null,"work_id":"f62a5040-ee64-49b0-bd3f-4c48156c75b0","year":2021},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.854924Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:573272d7474af20b1ff42499cb0a00171f128873b91a4b6e8018cb6a62e8cdc3","observation_id":"44e10516-d9b7-4dd8-8535-62b45ea39f3a","resolution":{"observed_at":"2026-08-12T00:10:39.437389Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.417611Z","title":null,"venue":null,"work_id":"9de1e8e2-a74c-4a49-a813-5b994f7f433c","year":2004},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.858676Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:3444e17899819ed5c0baf10b53d81c6d24ab6c4386844190b2da48ea31307770","observation_id":"5d9eb970-a8c1-46e5-bae3-1f975c1c1485","resolution":{"observed_at":"2026-08-12T00:10:39.423442Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.402273Z","title":null,"venue":null,"work_id":"0026b0e4-3787-479f-9956-99c38400a73d","year":2014},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.862599Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:d14e6f93877e350a682b29295bd48c100cfbc52c88e81d766daa9fe5398738ed","observation_id":"0db5bcc6-b6d3-4251-bd52-ca662f406c59","resolution":{"observed_at":"2026-08-12T00:10:39.407586Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.388664Z","title":null,"venue":null,"work_id":"4e74d4f9-470e-43b9-8b63-cce0c7c914d2","year":2022},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.867511Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:57ce38eacd3f009d84e4c1fbcd016c2c7d8a2f4a92b201fff2fa896a667c261b","observation_id":"05516b26-418f-4520-98d0-77f5445d022e","resolution":{"observed_at":"2026-08-12T00:10:39.393125Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.375238Z","title":null,"venue":null,"work_id":"05126db9-c1a7-4f37-9148-30aa6adc00af","year":2020},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.871512Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:d4105c4d64716f60d5ed4e39fbef857e4e3dd0511ae788d4626f0837276fcd66","observation_id":"5d836660-84b6-4704-a676-0d8bfdaa326a","resolution":{"observed_at":"2026-08-12T00:10:39.380036Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.361693Z","title":"Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr","venue":null,"work_id":"f212f757-c0e5-4de4-8731-d22c841648b8","year":2021},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.875920Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:0770dfa4de64649f7e7464120564ef60a783b2dc53ce1d96b658119d0fcdd95d","observation_id":"2ac7b0dc-9b3a-4ecf-83f0-db3ba082c02e","resolution":{"observed_at":"2026-08-12T00:10:39.366536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.344232Z","title":null,"venue":null,"work_id":"4b512faa-a721-4b09-9eb0-d96a80915d8d","year":2006},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.879839Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:b40f338486bc676e6dca2fa0269d5b1727ebb80709861acc4691b0a8815780d7","observation_id":"c637ae36-8e98-4a9c-8afe-59acaf30eba4","resolution":{"observed_at":"2026-08-12T00:10:39.350403Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T14:36:56.609471Z","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-12T00:10:38.883702Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.883702Z"},"links":{"cited_paper":"/paper/2203.13474","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:029485853896d7518a4bbdc50856647c9535b7b4eac1d098f22859d2dcd5ddcc","observation_id":"25a6315c-5228-4a81-bd45-7789e318669d","resolution":{"observed_at":"2026-08-12T00:10:38.883702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.13131","last_updated":"2025-06-16T06:37:18Z","snapshot_observed_at":"2026-08-11T23:48:15.512738Z","submitted_at":"2025-06-16T06:37:18Z","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.13131","snapshot_observed_at":"2026-08-12T00:10:38.888376Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.888376Z"},"links":{"cited_paper":"/paper/2506.13131","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:7a435e7ced094ccd79bc2b51227c886b6e7ce88a304a3dbc7da86906490d48e1","observation_id":"521f89ab-f917-4ebc-85da-cd9153ee7981","resolution":{"observed_at":"2026-08-12T00:10:38.888376Z","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-12T00:10:39.329074Z","title":null,"venue":null,"work_id":"2e537b9e-fc9e-42f8-8235-2a868fdb75ef","year":2012},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.893286Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:b95a431003a7f1f57edec54d80e9f6257bf5904de6a77bee7227b13e04a92ac7","observation_id":"f12361db-df02-48c0-b739-4113ba77b2f7","resolution":{"observed_at":"2026-08-12T00:10:39.333755Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.313390Z","title":null,"venue":null,"work_id":"101808fe-ee41-45be-ab56-bc85f71f51bf","year":2023},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.897386Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:a007fd0eee86e5369be47d63c66b639d348a13119df1efc1767e5681ffaf1a19","observation_id":"9632f4e7-b4c8-4ed2-b5ee-d25ad8fca9a7","resolution":{"observed_at":"2026-08-12T00:10:39.318725Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.297692Z","title":null,"venue":null,"work_id":"d9e3902e-c61b-4dee-9246-add75e0c4262","year":2018},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.901571Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:21aaec904879a3bebb251fb192f9b6abd0cccf5d3226188b18fbaad694ba88e9","observation_id":"90dad751-d53e-4fe2-92e5-021049c5161f","resolution":{"observed_at":"2026-08-12T00:10:39.302702Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11805","last_updated":"2025-05-09T21:04:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-19T02:39:27Z","title":"Gemini: A Family of Highly Capable Multimodal Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11805","snapshot_observed_at":"2026-08-12T00:10:38.905298Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.905298Z"},"links":{"cited_paper":"/paper/2312.11805","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:4064869254326872dc91d0143a9daff1e1d8261e62e7562c667fbea319008955","observation_id":"3da2c544-7732-4e6a-a2ad-75cb9462d66c","resolution":{"observed_at":"2026-08-12T00:10:38.905298Z","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-12T00:10:39.283117Z","title":null,"venue":null,"work_id":"cf2d09af-f0c4-4150-8746-7badc609ab05","year":2023},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.909592Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:ab391a9ade68ca4ea5e4d05fdd61d371342b5e803db7104c19dcbe361199075d","observation_id":"22b91fe7-cc26-4d4b-8628-4e44b395a486","resolution":{"observed_at":"2026-08-12T00:10:39.287721Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.268897Z","title":null,"venue":null,"work_id":"1bb429d2-08d8-46e3-8d18-4bed19de02b4","year":2011},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.913509Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:1308102c91c8378c651d3b929f502a755276cc93e3743b09d533110ba4a18ae1","observation_id":"f17da9ec-5a60-48c2-b80c-2359fc0d2bf2","resolution":{"observed_at":"2026-08-12T00:10:39.273470Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-12T00:10:39.253539Z","title":null,"venue":null,"work_id":"be7abe60-6808-4ed7-906d-4510981a120c","year":2024},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.917549Z"},"links":{"citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:f92b7449199a94a2b344c20c39559d9a3b85a6a8091bdb9b7335d8e14f38319d","observation_id":"14e18512-bf4f-486c-8f03-f5d596305f6e","resolution":{"observed_at":"2026-08-12T00:10:39.259001Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.08366","last_updated":"2021-09-13T05:48:51Z","snapshot_observed_at":"2026-07-06T09:56:32.308108Z","submitted_at":"2020-09-17T15:25:56Z","title":"GraphCodeBERT: Pre-training Code Representations with Data Flow","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2009.08366","snapshot_observed_at":"2026-08-12T00:10:38.842220Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-12T00:10:38.842220Z"},"links":{"cited_paper":"/paper/2009.08366","citing_paper":"/paper/2608.08352"},"observation_digest":"sha256:cd837796d5ddad091c7fd6763408c5df2f21f6f60de3aefc69613153bcb8a041","observation_id":"7cd43aba-a314-473d-a523-41b5a28166af","resolution":{"observed_at":"2026-08-12T00:10:38.842220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.08352","last_updated":"2026-08-08T22:39:12Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-14T22:46:27.579786Z","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":2,"verified_fuzzy":5},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2608.08352."}