{"as_of":"2026-08-22T17:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a8680255b6ddec4b555ced760e8fa388ae79a0923814ae88d1559d7f8c6eecca","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:54:14.184195Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2504.14480/citation-record","integrity":"/paper/2504.14480/integrity","json":"/paper/2504.14480/citation-record.json","paper":"/paper/2504.14480"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.021398Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.021398Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:46afe5a250ed81774f1254a209f137dfc1521eeebb57623edb04195647d18ba1","observation_id":"81566654-c3db-44a2-8304-2fe1299d1406","resolution":{"observed_at":"2026-08-16T11:54:14.021398Z","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-16T11:54:15.628581Z","title":null,"venue":null,"work_id":"ff4a6b4f-e425-49b9-9dde-8f8d0cac085d","year":2024},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.027116Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:82cf18462bc23b4f969d31f477d9c2823b398b15800c150b3dd7174d0f22f0d9","observation_id":"04fee628-18fe-41b8-b66c-c679a7df1953","resolution":{"observed_at":"2026-08-16T11:54:15.632605Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:15.615206Z","title":null,"venue":null,"work_id":"5b285996-1f5c-41c8-bfb3-c77820674e98","year":2023},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.031478Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:7187d5d2e49f9ee7f053d9142070f1b4020fc7936188ca55848b9dc2ca335734","observation_id":"e9c0dd8c-ac3d-441d-9af9-20d00bdce06c","resolution":{"observed_at":"2026-08-16T11:54:15.619585Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:15.601053Z","title":null,"venue":null,"work_id":"9a6c5144-50e9-4291-83c7-abdf1e413778","year":2023},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.036083Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:ff76c61f061df6a89617b4a3e9afb335e6623ac199bddac19cf8a24bb4bf10ff","observation_id":"3e4cc0d2-99a3-4573-a991-8112e0aa1e34","resolution":{"observed_at":"2026-08-16T11:54:15.606008Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:14.040521Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.040521Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:d9d11bbc47ee08107e9ca8f112b3271944d6ed60f4aebc86788bcd7c4502a8fa","observation_id":"7edf0396-757f-4305-bc2c-e4eec51f4a95","resolution":{"observed_at":"2026-08-16T11:54:14.040521Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.046055Z","title":"Chasins, Rastislav Bodík, and Sumit Gulwani","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.046055Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:60d29a325653a26c8310529a8aa5c7e224c8b4bb628f0f19c21e2456e9a7eb56","observation_id":"516147de-5202-4ac6-8df3-8621153f41b2","resolution":{"observed_at":"2026-08-16T11:54:14.046055Z","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-16T11:54:15.587960Z","title":null,"venue":null,"work_id":"ab98095a-9ed9-4c0f-b177-981bb91710d3","year":2023},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.051102Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:038a9412b3657a83b7fdeb151bc66c607081ecec1d5fe05cfb67f97e5ef4f0b3","observation_id":"1fee3232-e515-4c16-8a79-d5498320963d","resolution":{"observed_at":"2026-08-16T11:54:15.591922Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-57259-3_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"3ab1c458-5e8e-45a9-bcc5-c80a52ebbe0f","year":2024},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.056243Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:7fac6631b59bf0e740358a79f4dc0091410dd8411c8cafdfbc4d5fd2aef1e16f","observation_id":"a4bf333d-24b3-47ae-b01b-512a00441e9f","resolution":{"observed_at":"2026-08-16T11:54:14.335870Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:15.574750Z","title":null,"venue":null,"work_id":"61f221ab-82bb-4224-85e9-ccfe8077763a","year":2017},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.061075Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:ed44dbb3ca6f015b3a16bc75a83578daea07f22bbe112e59ab736071a203e9a2","observation_id":"7fc39052-a16f-416a-9b1b-ae4006d54bfa","resolution":{"observed_at":"2026-08-16T11:54:15.579181Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:14.065481Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.065481Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:ab27bcd9c3f85857b56c234546ab868223945caa34de6e5032264a3023b0543d","observation_id":"e9e1bb18-07f3-4cd4-8752-1373892ef26c","resolution":{"observed_at":"2026-08-16T11:54:14.065481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.069720Z","title":"Halbert, David Kurlander, Henry Lieberman, David Maulsby, Brad A","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.069720Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:c97157a197a9b82fc407086354aa8598daf4b0ce1fda1a43e8d016968665b123","observation_id":"411363ae-0a41-4d58-911e-7b689758d8eb","resolution":{"observed_at":"2026-08-16T11:54:14.069720Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.074239Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.074239Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:7d7ddbda817f673a3ddd0cfcd3101e1b9100e37b9d70d827341c7b37f403f77f","observation_id":"c814cc12-a23d-432f-a9bb-f82ef04c9c5a","resolution":{"observed_at":"2026-08-16T11:54:14.074239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.078212Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.078212Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:4d3db8122d94870d48be9cb1f2e35dfffef6233b456df7896d612ee94cdfc88c","observation_id":"d508c0ba-57d3-4c15-bf51-d967fe1b65b1","resolution":{"observed_at":"2026-08-16T11:54:14.078212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.082376Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.082376Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:b927c59438cd60734f42938d450f432f8c3e2e7f5f00549bff3fe35ea4b01679","observation_id":"c7784503-726d-4525-b7db-a49b38acaca1","resolution":{"observed_at":"2026-08-16T11:54:14.082376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.086535Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.086535Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:a0fbc26b4680bfb4adc18ceae0556b02c00fb32cf489776594de3f7e43a90afb","observation_id":"ad3a27f3-c054-4628-a151-23fb311bf9bd","resolution":{"observed_at":"2026-08-16T11:54:14.086535Z","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":"10.1007/978-1-4842-4330-5_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"2019.Extracting JSON Values with JsonPath: Document Processing for Java SE","venue":"Apress eBooks","work_id":"279f7364-568c-4527-baae-e8fce4fbd7ab","year":2019},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.095682Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:81ec1d6025b84401170107435e27ffcafa336cc23fb49ef10ce398f2acf7b847","observation_id":"f2a01afb-f36e-42da-89e5-04175d9544e9","resolution":{"observed_at":"2026-08-16T11:54:14.314259Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:14.099962Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.099962Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:c8a9bcb404a377a82ac5233fd92de8d49e555eb4ffc7c8ae8c6219bda435f6df","observation_id":"9149a450-c803-4f4e-a0af-d97a97e887dd","resolution":{"observed_at":"2026-08-16T11:54:14.099962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.104504Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.104504Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:9dc702edf13f3648c6fb4e95be96ccb61d9fc89ca9ef5549918a54ac05e79762","observation_id":"3f6ec4ff-74d8-440d-8917-a7cb9767fb0c","resolution":{"observed_at":"2026-08-16T11:54:14.104504Z","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":"10.1145/3371080","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.288367Z","title":null,"venue":null,"work_id":"a679051e-9329-4115-a181-38c9a81ec533","year":2020},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.108824Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:82e2020492d8e5588937f573be88b5ef66de7b1f013af4c13ff04a9265e24841","observation_id":"1712defd-3da4-4c7a-84d0-c702eb1230f3","resolution":{"observed_at":"2026-08-16T11:54:14.292284Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:14.113183Z","title":"Foster, and David Van Horn","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.113183Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:ede0afa079ef0e6073f38da3eabd42b57a35488eea7940dcd4bd0347dbde2f39","observation_id":"909af396-cdbf-42e7-8fd7-4f9313e21d4d","resolution":{"observed_at":"2026-08-16T11:54:14.113183Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.117502Z","title":"Melham, Daniel Kroening, and John O’Leary","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.117502Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:c79caa4d21a6cebaf171fbfb7db8fec1e62a1dc814329a0b3b943aef4606c441","observation_id":"251caf39-662a-454c-94ea-239b7fd7d96a","resolution":{"observed_at":"2026-08-16T11:54:14.117502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.121727Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.121727Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:77e696648ab05b3349c86cd7e11c565d54881ce018b403836998674bfd58f6d8","observation_id":"6fda0203-d657-4ee9-bbf0-30e71bacc00e","resolution":{"observed_at":"2026-08-16T11:54:14.121727Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.125868Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.125868Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:e20655696908de76ce40bf59031017be6419520b00ba6d38066196b1db46dfd4","observation_id":"e56a5615-9d3f-4e8c-a74e-1592f69ba799","resolution":{"observed_at":"2026-08-16T11:54:14.125868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.130149Z","title":"Mitchell, and Brad A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.130149Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:9ff23f0ccd63241e503ac74a603dcd6cef6440384b282179c9881161b106d592","observation_id":"082e37aa-0fe8-4d5f-b353-52bc6274c764","resolution":{"observed_at":"2026-08-16T11:54:14.130149Z","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":"10.1145/3632894","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.265787Z","title":null,"venue":null,"work_id":"f0d8216b-24f6-460e-8cbb-79853c3cb6e7","year":2024},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.134302Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:ae2cc9936e5227495626c76bae088f2854b912b15d11b050cd4a9ff471a17a8c","observation_id":"bc17c789-f841-41fb-8fa4-b4f3e2fbc05f","resolution":{"observed_at":"2026-08-16T11:54:14.270628Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3689789","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.252686Z","title":null,"venue":null,"work_id":"c0e69acb-f447-4088-b441-2c3ad6dd4d3c","year":2024},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.138671Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:43027b8ac31a0a7be29b4ac6b1345f89510815974daae15bfb59a67efa2f6d0d","observation_id":"bf05ed4c-541e-4df8-ae9c-a6928538ce87","resolution":{"observed_at":"2026-08-16T11:54:14.256780Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:14.143526Z","title":"Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.143526Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:e264691870bddd8660c20b65ecfe75d234dbba2e704df8e4a8a23f1906bab0b4","observation_id":"c1993dd2-110b-4b60-9b59-2dfcd0ed5da7","resolution":{"observed_at":"2026-08-16T11:54:14.143526Z","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":"10.5281/zenodo.15047359","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.237849Z","title":"2025.Program Synthesis From Partial Traces (Software Artifact)","venue":null,"work_id":"2c553c11-2c47-4213-812d-09c35ed6b04d","year":2025},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.147606Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:9e8c75cbd383d3d9158f52ad9d57cb305d724899c85f55e01ef1898cbe830cad","observation_id":"1be989d4-45dd-4dfc-9807-8be84845f1b7","resolution":{"observed_at":"2026-08-16T11:54:14.243536Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.06001","last_updated":"2023-12-10T21:25:34Z","snapshot_observed_at":"2026-08-17T00:24:41.152045Z","submitted_at":"2023-12-10T21:25:34Z","title":"The SyGuS Language Standard Version 2.1","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.06001","snapshot_observed_at":"2026-08-16T11:54:14.151823Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.151823Z"},"links":{"cited_paper":"/paper/2312.06001","citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:d3c9ff3bb220735004edbc006dd8be0f2481aad0cbc01f2a2167a9738427acd0","observation_id":"76ac996c-f221-404a-9a24-1078e1a6d73c","resolution":{"observed_at":"2026-08-16T11:54:14.151823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.156337Z","title":"Fink, Rodric M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.156337Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:906ab41dea30b11b18d31d2d2a6f0d6acf3d7907509d98e2e1c271b9965a1a8a","observation_id":"dd828623-bb59-4c88-9a98-9a70c2b03f2d","resolution":{"observed_at":"2026-08-16T11:54:14.156337Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.160201Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.160201Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:85111589b8bb3085f74cb2e6491af05f654bc472c9ef5705a8304a0f939c869c","observation_id":"3fcce261-0623-459e-ba5a-4d01f5a40ca4","resolution":{"observed_at":"2026-08-16T11:54:14.160201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.164159Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.164159Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:4a1dab010a59b7e8a4555b6295a930e225bf160cb0ef2b638cd5a891e88c47f3","observation_id":"45b14c86-a266-421b-838c-ca8522d37838","resolution":{"observed_at":"2026-08-16T11:54:14.164159Z","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-16T11:54:15.542814Z","title":null,"venue":null,"work_id":"d896a0c8-26a6-4dfd-87ac-55fef1565cc3","year":2018},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.168069Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:c489b2d6a4031fe02788255696da1c94048132a2fa80c2a159aa83d9a103757e","observation_id":"025bf8ba-f115-40f2-9707-8330b5d116b1","resolution":{"observed_at":"2026-08-16T11:54:15.546872Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-16T11:54:14.171928Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.171928Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:595b34a3b81e5eb43b0f6c7388b9e1ab00e07145551c15b936db461a0dcf0f74","observation_id":"c6fa2800-8cba-4a99-9820-9fbbe930701d","resolution":{"observed_at":"2026-08-16T11:54:14.171928Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.176167Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.176167Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:684835c9a816dc000a6a13b1921ccc62afdc9f3647f7297d20378adae57312c5","observation_id":"8d27b256-5800-4561-90a0-e3c1db99a21c","resolution":{"observed_at":"2026-08-16T11:54:14.176167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.180177Z","title":"Wong, Tanvi Wagle, Srinivas Narayana, and Anirudh Sivaraman","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.180177Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:1702ad4fb585a35a5c4b1a111be21759cc52501aac86c7034a7fba185a0156c3","observation_id":"fc97a10e-0024-4bcf-a07b-16980e6d32a9","resolution":{"observed_at":"2026-08-16T11:54:14.180177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.184195Z","title":"api\": <THE API NAME>,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.184195Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:7920464642327b1022ffe4080ba8107fc0c638759b533f6059c032f5b9e5c935","observation_id":"8c188eb5-74f9-432c-b5ad-9f5bfdb1b375","resolution":{"observed_at":"2026-08-16T11:54:14.184195Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:54:14.091104Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces","version":3},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-16T11:54:14.091104Z"},"links":{"citing_paper":"/paper/2504.14480"},"observation_digest":"sha256:b3c4df1169d7ac87be95dca2a75e2d08e67a362396cb7ebf21d1ebba27e5a9ea","observation_id":"08acc200-8622-4342-ba06-437283e05794","resolution":{"observed_at":"2026-08-16T11:54:14.091104Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.14480","last_updated":"2025-06-10T14:21:28Z","latest_version":3,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T11:45:43.736859Z","submitted_at":"2025-04-20T04:09:09Z","title":"Program Synthesis from Partial Traces"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":38},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2504.14480."}