{"as_of":"2026-08-14T07:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9d9360f279ecc5f955a4e911333a745de0341a6bdc0491438a82c03eab77d33f","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T12:11:28.370535Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"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/2601.04045/citation-record","integrity":"/paper/2601.04045/integrity","json":"/paper/2601.04045/citation-record.json","paper":"/paper/2601.04045"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T12:11:27.984247Z","title":"In: Sharygina, N., Veith, H","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:27.984247Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:30a94ee487d5c9882499cf6232cbb96912f757ffa87f5860be3b295f0a246652","observation_id":"5f150786-8dd6-410f-89d9-0787b9831763","resolution":{"observed_at":"2026-08-03T12:11:27.984247Z","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-03T12:11:28.007211Z","title":"In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.007211Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:afcc91c4c326800013110db12d63b38220be94937516ccf56fc9d4523704b1f1","observation_id":"94aa0dae-b40b-49f7-9f59-f8c8d312aa3f","resolution":{"observed_at":"2026-08-03T12:11:28.007211Z","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-03T12:11:28.021954Z","title":"In: Fisman, D., Rosu, G","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.021954Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:ef32a59be416e71edc063666c47167fa6c5826361f8238b0f1ff4e0b4b3df855","observation_id":"3e58d2ee-763c-4750-b77e-9ebba1387a9c","resolution":{"observed_at":"2026-08-03T12:11:28.021954Z","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.4204/eptcs.70.1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Hardin, D.S., Schmaltz, J","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"1292065b-e983-424c-a29f-b895faa807df","year":2011},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.047094Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:ecfe63c9af4b396b850e47d86710076cf0e4a38c32346692dd774f3e3efa7333","observation_id":"67923725-737b-4d06-bec3-763f52528a27","resolution":{"observed_at":"2026-08-03T12:13:31.535389Z","resolver_source":"doi","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":"10.1109/icsecompanion.2007.14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"the ACL2 sedan","venue":null,"work_id":"b12d3fc4-c111-48ed-8bc6-da7200a84bac","year":2007},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.070483Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:cbd0b3be50e1dd5c22bd3ee7f5618706cd38f35bc4ada8219749b238a5637615","observation_id":"3246af33-02fa-4bdc-a6fd-05ef40df511c","resolution":{"observed_at":"2026-08-03T12:13:30.904821Z","resolver_source":"doi","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":{"arxiv_id":"1510.02036","last_updated":"2015-10-07T17:33:06Z","snapshot_observed_at":"2026-07-06T04:32:20.684363Z","submitted_at":"2015-10-07T17:33:06Z","title":"Tree Automata and Tree Grammars","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1510.02036","snapshot_observed_at":"2026-08-03T12:11:28.102409Z","title":"CoRRabs/1510.02036(2015), http://arxiv.org/abs/1510.02036","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.102409Z"},"links":{"cited_paper":"/paper/1510.02036","citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:0aa1d35c536e7a12b0dd18b90ecae7d8364aa533cf9217e8e7f57a7343cf2383","observation_id":"d88eae12-f266-48a1-aa6e-3189ad0fe6e1","resolution":{"observed_at":"2026-08-03T12:11:28.102409Z","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-03T12:11:28.127391Z","title":"In: Grove, D., Blackburn, S.M","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.127391Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:c9eeb245603ab3cde5aed5e764e7bd51feeaf7a430a128980edc89f9b9c733c4","observation_id":"741716b9-3a81-4978-bf1e-61814dcb14b9","resolution":{"observed_at":"2026-08-03T12:11:28.127391Z","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-03T12:11:28.156823Z","title":"Cambridge University Press (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.156823Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:40ddbd7a375c14728b83ea34e241185ef576933e82d2b97ca0b3060556cfa690","observation_id":"fb6f1c90-94bf-4096-9ef6-56443e5f03ef","resolution":{"observed_at":"2026-08-03T12:11:28.156823Z","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-03T12:11:28.173471Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.173471Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:9a13544cc67527e4fcd3e9184e8077c826e23dd3f83dcb7c5e0f7024968547e0","observation_id":"db905266-082a-4856-8590-8f377f765aca","resolution":{"observed_at":"2026-08-03T12:11:28.173471Z","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-03T12:11:28.206941Z","title":"Kluwer Academic Publishers, USA (2000)","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.206941Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:cfcf2602ee2c4364311f4c316d1261011064b95492f7b9e0c522263f3be517b0","observation_id":"16ec168e-3799-4ad3-9793-c17137f2668d","resolution":{"observed_at":"2026-08-03T12:11:28.206941Z","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-03T12:11:28.228771Z","title":"In: Hosking, A.L., Eugster, P.T., Lopes, C.V","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.228771Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:1fadce4bfd237588e2d5769d5a4d7cf4dd3a5e95a558c9cdfd10b08c8962d924","observation_id":"76c680a1-9d1a-4cd1-ae5e-b81394aa84ce","resolution":{"observed_at":"2026-08-03T12:11:28.228771Z","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/3408991","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"298ba6c6-fe4a-4487-9eec-ab8b93dada18","year":2020},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.239683Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:f7e9568f4c5b1dd6f881a8ed6c4cc1a5d6d20419694fd24cefc40ba24adc3859","observation_id":"8b49b19e-33d3-420a-a266-3495b96f1a8a","resolution":{"observed_at":"2026-08-03T12:13:29.741069Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T12:11:28.252610Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.252610Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:8cd2218e8a4b8615168a6d8f211658ee71d963ce9b815e5e0034459c2664f70d","observation_id":"c6f83ab0-2c9f-4123-87e1-4644e4787240","resolution":{"observed_at":"2026-08-03T12:11:28.252610Z","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-3-031-65633-0_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Gurfinkel, A., Ganesh, V","venue":"Lecture notes in computer science","work_id":"2f725309-ee94-47ee-9949-cd0c1346c9b6","year":2024},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.265319Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:cfd8dab8a100e012c15037a244a700cd3214d9ebda8142e99030c8cec3ef3c69","observation_id":"b57b9a65-2c1e-46ab-bb27-497ef85b3451","resolution":{"observed_at":"2026-08-03T12:13:29.429158Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T12:11:28.280222Z","title":"In: Grove, D., Blackburn, S.M","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.280222Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:d6e683a90376180e1bf765733224278955079f6c621a58fdff76e7a281a15c18","observation_id":"20eada2a-35c7-4f76-a7df-32e244cced0c","resolution":{"observed_at":"2026-08-03T12:11:28.280222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.06001","last_updated":"2023-12-10T21:25:34Z","snapshot_observed_at":"2026-08-13T05:05:34.913231Z","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-03T12:11:28.295112Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.295112Z"},"links":{"cited_paper":"/paper/2312.06001","citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:0027fcb4607cee3ccab18733c87edd0b6ebb2b9a33861134b6f5ef1d2ae62f8c","observation_id":"b0bb3e64-3f61-4467-a9cd-d003adf6e072","resolution":{"observed_at":"2026-08-03T12:11:28.295112Z","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-03T12:11:28.306250Z","title":"In: Krintz, C., Berger, E.D","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.306250Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:0cb86a0c2f6c32959258c3ded7fc23904680f9424cb231c58930155966ca6a10","observation_id":"c2b77157-f936-47a3-a703-5a61b0b88672","resolution":{"observed_at":"2026-08-03T12:11:28.306250Z","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-03T12:11:28.319848Z","title":"In: Dillig, I., Tasiran, S","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.319848Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:d62667c989a91cd5167b327ffa1a177c0ddbb55dbbade0a06365cd4bbf0155de","observation_id":"de4edee0-3c58-4e65-bd80-fd416f697411","resolution":{"observed_at":"2026-08-03T12:11:28.319848Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T12:11:28.332369Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.332369Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:ba1ce263a58f61a0727ed7b3a7f54e5ffe1d10d82bff6e08920ffc7ea42a393d","observation_id":"6bcf78ed-ca83-4b1b-a99f-b00858097bc6","resolution":{"observed_at":"2026-08-03T12:11:28.332369Z","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-03T12:11:28.351942Z","title":"https://github.com/SyGuS-Org/benchmarks (2026), accessed: 2026-01-06","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.351942Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:7b1d3fe08139aae8c1c9df8185343575042162a8f6075fdbdc1c4e960a2fbbc6","observation_id":"c385167a-c973-43a8-83e0-b22e641e454a","resolution":{"observed_at":"2026-08-03T12:11:28.351942Z","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-03T12:11:28.370535Z","title":"https://github.com/cvc5/cvc5/issues/6182 (2021), gitHub issue, accessed: 2026-01-06 20 D","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T12:11:28.370535Z"},"links":{"citing_paper":"/paper/2601.04045"},"observation_digest":"sha256:8c6faf79319c78d7f381d7e18cdcd767d7c151662103efebf33bb17f69ffdeb7","observation_id":"a87d174d-e11a-4e36-b934-0fbb64194c02","resolution":{"observed_at":"2026-08-03T12:11:28.370535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2601.04045","last_updated":"2026-07-22T11:40:44Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T22:20:33.693019Z","submitted_at":"2026-01-07T16:00:43Z","title":"Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":21},"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 14 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2601.04045."}