{"as_of":"2026-08-14T14:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:95a8e97b0c86535e9ae0877464d054603b3987aedb4d40a966e7a2b9b0473229","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-14T10:25:11.501341Z","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:5cfd24011291c19c5fa7961cd82ef083f5f80245d87827864d328a85bf21e6d0","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-14T10:25:11.501341Z","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:218e1b67367f303c0c9584c2ac74b30e5f9ade9b3118a00377324c5c414a210f","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-14T10:25:11.501341Z","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:90a134513974d5461f1fc8222952ef025a3040b22412246d6a9e8fa7e853544b","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-14T10:25:11.501341Z","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:23451249c24fadeec015d82b18143fe0340aed3f7c8e93590bb9b238cb8ddfec","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-14T10:25:11.501341Z","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:1e75b40aaaf3644432d1bb51521e308f4b15ba22f1e0d6b8ccca9fca408d84f6","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-14T10:25:11.501341Z","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:fd3664eb15dffff279c3bb5c82164c2a0dee12360a44fd234f162754c0cdfdea","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-14T10:25:11.501341Z","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:c73359a33285b752fc1f9d2b5e3ac4c0d201c1abae7890b335ae42bf218fddd4","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-14T10:25:11.501341Z","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:c02a9c61e62e57f8948454095dc4b9a801ed03ce30dd0b4eacbe41a950c51c57","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-14T10:25:11.501341Z","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:59318607dbac532cce424fbc71745063dceac0e698fe998c7cf7a6d0f529a89d","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-14T10:25:11.501341Z","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:d7f3ea724a3867a0260befcc75d6da9224d28524b9900921a332c34a402d9e74","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-14T10:25:11.501341Z","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:97f9657ba4f49f2eaf3f2c19ab2d0dc2f4f7c68f6b2a7f9b3bc2948bb0c819c4","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-14T10:25:11.501341Z","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:3ce2b564d48ebf9a86a5884b407e0db0c3c99bbab8bd3af2cbb8853280739ae9","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-14T10:25:11.501341Z","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:6709df69a8882a2c6ebddc5c18cb9c5b6d617bfcc91141d1ece17416b2eb18a6","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-14T10:25:11.501341Z","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:7f88bd314e660e93532722c09328154ea20d754f8c0b6d3fc5a581bd4a9545a3","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-14T10:25:11.501341Z","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:a416f303b937639e1d19ab92b526f70b0fd67196dcecbca1b3c9c88266820426","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-14T10:25:11.501341Z","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:23cfdcd6a713ec341773a2c7c1c869354c08d34407145b2d9a29cfe0c3f268e5","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-14T10:25:11.501341Z","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:cc67a6b980689fa57277adb5883cab49b2e2284a1ccedc0ea8bf2f5e0e99eee3","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-14T10:25:11.501341Z","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:764ce4d199006fe8df220e2ca542e1f2e511e44e62844d9c39d72f29bd78f9aa","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-14T10:25:11.501341Z","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:324ae26908008ef123771760c2e63e1a5edb2da17f5b17cafa3d3e43c6feb599","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-14T10:25:11.501341Z","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:9384e3764ea710578ba83f3294adf4e8171b422d3ab70c01ee272429180f5b47","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-14T10:25:11.501341Z","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:b9e332fbed019df0273e0d563112eb00dbdeb8c32abaac9afa7a4a4fad12538c","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-14T10:25:11.501341Z","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."}