{"as_of":"2026-08-07T15:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b0d51d2309fc19e40e3a545f93ca124e5c79127c71d3b9c3b4a73d3002b90c7f","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:33:32.238183Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2508.00013/citation-record","integrity":"/paper/2508.00013/integrity","json":"/paper/2508.00013/citation-record.json","paper":"/paper/2508.00013"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:33:37.605615Z","title":"Execution-Guided Neural Program Synthesis","venue":null,"work_id":"fc2b72bf-4576-4aa0-bfc6-582daddbca57","year":2018},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.306526Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:4969b06f6a27b64f70dea2d7fe153edd2ed32272e5af1fd313647a33b3f63562","observation_id":"00764bf4-6935-4e3f-94a2-6255f277c60a","resolution":{"observed_at":"2026-08-06T15:33:37.676682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.01429","last_updated":"2022-09-30T08:41:29Z","snapshot_observed_at":"2026-07-06T11:15:23.626911Z","submitted_at":"2021-06-02T19:18:22Z","title":"Smooth Bilevel Programming for Sparse Regularization","version":2},"cited_work":{"arxiv_id":"2106.01429","doi":null,"metadata_source":"pith","pith_arxiv_id":"2106.01429","snapshot_observed_at":"2026-08-06T15:33:34.044359Z","title":"Smooth Bilevel Programming for Sparse Regularization","venue":"stat.ML","work_id":"6f110ed2-6201-4f4f-afdb-fa0ab4dda3d1","year":2021},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.651695Z"},"links":{"cited_paper":"/paper/2106.01429","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:f1bc2fc0d402c781c86900f4c17a8618c4d9f03c9d904a8251c844288c90a344","observation_id":"d19e5135-6ca3-4e96-955d-1584fdc24870","resolution":{"observed_at":"2026-08-06T15:33:34.115498Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:37.147564Z","title":"Cordell Green","venue":null,"work_id":"c6dd77b0-31bf-43d4-a442-98090125a31e","year":2025},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.715728Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:d14b66279d1d85e56dd551cb9bd809dbb7e03f8f558a3e096d7dee3ca8d35f34","observation_id":"0cb2d136-0564-4299-8801-8854f14a9a2d","resolution":{"observed_at":"2026-08-06T15:33:37.206334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:37.009422Z","title":"On the naturalness of software","venue":null,"work_id":"cc40f6de-1076-4a2d-9d4f-2ed8ab5527d1","year":2012},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.795176Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:26586ad6d8f896ceea84228fd90dd11e07d0fd0400ecd766c79faa3edf5ffcea","observation_id":"45dd19e2-2c17-44d1-9fd8-b75dc2f8accb","resolution":{"observed_at":"2026-08-06T15:33:37.054556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:36.806626Z","title":"Nvidia gtc 2023 keynote,","venue":null,"work_id":"dee532ae-3910-4b6f-b24c-b8be4533bde4","year":2023},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.892686Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:88181dd858cf67cf1ce37a4107af09a48880ddcc4369a371597e70c7cab10480","observation_id":"9b135d19-5029-43d2-bf8e-246f1d87fd79","resolution":{"observed_at":"2026-08-06T15:33:36.913875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:36.638401Z","title":"Joomy Jeo, Won-Kee Lee, and Kwangkeun Yi","venue":null,"work_id":"0b3d143c-2dc1-49fd-99bc-87a0d307ebc1","year":2025},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.987393Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:715544591d1dcd11c2cd3440fe36056d686716ad8eccd68e65027908ce382289","observation_id":"b2d3ea99-a538-46ae-b900-663e6959bb79","resolution":{"observed_at":"2026-08-06T15:33:36.712661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:36.494170Z","title":"Learning to Synthesize Programs as Interpretable and Generalizable Policies","venue":null,"work_id":"c39913dd-6e01-4d5a-b78d-8c646194bfab","year":2022},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.071300Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:0fee6493b4c29cdb911679f8eb1764cc828a114df688ea82cfe671fd9a1145b7","observation_id":"1bfeebcf-41d4-4b8b-920e-ef4ceb338c77","resolution":{"observed_at":"2026-08-06T15:33:36.571131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15239","last_updated":"2023-06-27T06:39:05Z","snapshot_observed_at":"2026-07-06T15:47:07.545213Z","submitted_at":"2023-06-27T06:39:05Z","title":"Oscillations and differences in Triebel-Lizorkin-Morrey spaces","version":1},"cited_work":{"arxiv_id":"2306.15239","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.15239","snapshot_observed_at":"2026-08-06T15:33:33.900238Z","title":"Oscillations and differences in Triebel-Lizorkin-Morrey spaces","venue":"math.FA","work_id":"56ea4b67-b4e8-411b-989e-423b74afbba4","year":2023},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.209106Z"},"links":{"cited_paper":"/paper/2306.15239","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:8e2b2c376a73f5296189484bb34fda2263d4b3b89bda81cd3d8fdbe1679a262c","observation_id":"66bbaafc-d486-435b-8fa1-309a3c6a4de0","resolution":{"observed_at":"2026-08-06T15:33:33.958322Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.08568","last_updated":"2025-05-27T07:40:36Z","snapshot_observed_at":"2026-08-04T15:08:40.203853Z","submitted_at":"2023-06-14T15:18:48Z","title":"WizardCoder: Empowering Code Large Language Models with Evol-Instruct","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.08568","snapshot_observed_at":"2026-08-06T15:33:30.459864Z","title":"Wizardcoder: Empowering code large language models with evolution-in-instruction","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.459864Z"},"links":{"cited_paper":"/paper/2306.08568","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:19c4b3e373cda4615e85bd6d2775ac560698942af99435369fc919d7490beb52","observation_id":"83b76c90-dec6-4a47-a74e-8cacf2a0fee2","resolution":{"observed_at":"2026-08-06T15:33:30.459864Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.12328","last_updated":"2023-11-21T03:40:20Z","snapshot_observed_at":"2026-07-06T16:50:22.657866Z","submitted_at":"2023-11-21T03:40:20Z","title":"Quantum-Enhanced Support Vector Machine for Large-Scale Stellar Classification with GPU Acceleration","version":1},"cited_work":{"arxiv_id":"2311.12328","doi":null,"metadata_source":"pith","pith_arxiv_id":"2311.12328","snapshot_observed_at":"2026-08-06T15:33:33.404959Z","title":"Quantum-Enhanced Support Vector Machine for Large-Scale Stellar Classification with GPU Acceleration","venue":"quant-ph","work_id":"a9f743e2-8824-4a19-8ae5-86526f6e99d7","year":2023},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.559733Z"},"links":{"cited_paper":"/paper/2311.12328","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:a2f3e042e3582ee535ea2df6e0766ff784d8d50e4f5d45747b8343c68158dcde","observation_id":"f3b75ba1-2b42-407e-b897-a84f3eef2acc","resolution":{"observed_at":"2026-08-06T15:33:33.590348Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:36.169804Z","title":"A deductive approach to program synthesis","venue":null,"work_id":"058cf6f9-7f88-470d-a37a-85c8519e4da2","year":2019},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.609829Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:bfd58a704ae1bc892d2e0b652a7644dbda090c8df4b04fe108de378e720add16","observation_id":"4ea1cd62-f4af-41c3-9a50-729dade2e7e6","resolution":{"observed_at":"2026-08-06T15:33:36.249292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-08-07T13:11:49.965934Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-06T15:33:30.736315Z","title":"Logic-lm: Empowering large lan- guage models with symbolic solvers for logical reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.736315Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:69f1cbed9ab2687429435c44f78051e5ab03126bc86e6353435532a29333e281","observation_id":"9c82c850-dc4a-4eed-b7c4-a33328f3eecf","resolution":{"observed_at":"2026-08-06T15:33:30.736315Z","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-06T15:33:35.834495Z","title":"Automating file system manipulation and string transformations from examples","venue":null,"work_id":"9d38f137-217b-4b36-a095-f2232e24cbfb","year":2015},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.830409Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:7ba5ccc54fd40ffd727420661903846553772b89c87c102b0c6f999191194f11","observation_id":"5c749d33-ec5f-4976-b6ce-30a7160e283d","resolution":{"observed_at":"2026-08-06T15:33:35.932154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.11366","last_updated":"2023-10-10T05:21:45Z","snapshot_observed_at":"2026-07-06T15:05:53.556198Z","submitted_at":"2023-03-20T18:08:50Z","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.11366","snapshot_observed_at":"2026-08-06T15:33:30.992714Z","title":"Reflexion: an autonomous agent with dynamic memory and self-reflection","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.992714Z"},"links":{"cited_paper":"/paper/2303.11366","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:c1d22244cdb83ff24d35e7e657bcfc8d52456758dfda6b079b415d5667967781","observation_id":"5031e1ef-a714-4d7d-b169-f272b846dbbd","resolution":{"observed_at":"2026-08-06T15:33:30.992714Z","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-06T15:33:35.574640Z","title":"Neuro- Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints","venue":null,"work_id":"c17dfc8d-faf1-4e7f-84da-4006c998fc16","year":2019},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.059856Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:9fdd1dc4bd92aec258df956aabcec4ecaa073f762501cbc43b9f41cc78d6f213","observation_id":"7e317129-4a97-4ed8-8857-ab739c991c2c","resolution":{"observed_at":"2026-08-06T15:33:35.627087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:35.439253Z","title":"Jsketch: sketch-based synthesis for java","venue":null,"work_id":"94608100-23a9-4bf8-afed-f5eebd3e212e","year":2016},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.110736Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:9f07c06467616fc40af3d63b0e7cfa9d35a576fee832e6fb5e3a83666c29a7cd","observation_id":"2f63ba4e-74cf-4549-b045-46e075e43420","resolution":{"observed_at":"2026-08-06T15:33:35.484429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:35.137903Z","title":"CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text","venue":null,"work_id":"bfd00917-95b6-4d3d-81ce-ffe2aa86e2cd","year":2019},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.313566Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:8191871a97b742b1de706a83b0652681866c793230ff18c186e498c5729423c8","observation_id":"93bcc670-b5d3-47ca-b444-68d9c33948f2","resolution":{"observed_at":"2026-08-06T15:33:35.207639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:34.956097Z","title":"Auto-composing domain-specific data plane programs","venue":null,"work_id":"f15c9f15-26cb-4d50-b726-8c81aa92a71a","year":2018},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.415486Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:59b8f767d844d7c5fa853a613b448c350ecc1ccf8d381dbc082637b4f910295b","observation_id":"07886b9e-312d-447f-8291-393a7d49bd08","resolution":{"observed_at":"2026-08-06T15:33:35.045524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12284","last_updated":"2024-01-22T19:00:01Z","snapshot_observed_at":"2026-07-06T17:19:00.228875Z","submitted_at":"2024-01-22T19:00:01Z","title":"Tunable interplay between light and heavy electrons in twisted trilayer graphene","version":1},"cited_work":{"arxiv_id":"2401.12284","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.12284","snapshot_observed_at":"2026-08-06T15:33:33.181372Z","title":"Tunable interplay between light and heavy electrons in twisted trilayer graphene","venue":"cond-mat.mes-hall","work_id":"4a342598-c3ab-4806-b0d4-fa9e9e4a8b5c","year":2024},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.475452Z"},"links":{"cited_paper":"/paper/2401.12284","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:1c1e44165255412be0beebb89c1057bc39b44266265805bf8c9a60bce1f74493","observation_id":"f6e33d4a-8b03-4920-a84a-ccd5e6c1080a","resolution":{"observed_at":"2026-08-06T15:33:33.273610Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:34.817407Z","title":"Trustsketch: A trustworthy sketch-based telemetry system with sgx","venue":null,"work_id":"242ade95-ea40-4749-8702-7db9a91ea6aa","year":2020},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.615997Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:12f577b15f08b201d20c1da74a21a5da3db30f76a7c10927c52f50e620d13fbf","observation_id":"10df93c4-bfd7-4abd-92b5-a292a8f2a5ce","resolution":{"observed_at":"2026-08-06T15:33:34.874568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:34.614023Z","title":"HOUDINI: Lifelong Learning as Program Synthesis","venue":null,"work_id":"dfa1acda-12b6-46dd-a634-d5ef5fb02afd","year":2022},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.715703Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:85a85b7ea8fab87d83db2dc72ef7d51e80bcb7c9020c2fa396fdb105582b6f17","observation_id":"51df46e2-03ab-4b5b-bdcb-7eaf2560eaff","resolution":{"observed_at":"2026-08-06T15:33:34.686581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.11432","last_updated":"2025-03-02T04:04:03Z","snapshot_observed_at":"2026-08-02T07:33:16.089197Z","submitted_at":"2023-08-22T13:30:37Z","title":"A Survey on Large Language Model based Autonomous Agents","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.11432","snapshot_observed_at":"2026-08-06T15:33:31.780047Z","title":"A survey on large language model based autonomous agents","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.780047Z"},"links":{"cited_paper":"/paper/2308.11432","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:d0b0ffe980b1ec5227a2f70966ee009c4c7f6d112feae030c094075e8db449e3","observation_id":"0afab509-5d13-4441-87da-f984690d471e","resolution":{"observed_at":"2026-08-06T15:33:31.780047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2112.04359","last_updated":"2021-12-08T16:09:48Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-12-08T16:09:48Z","title":"Ethical and social risks of harm from Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.04359","snapshot_observed_at":"2026-08-06T15:33:31.839076Z","title":"Ethical and social risks of harm from language models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.839076Z"},"links":{"cited_paper":"/paper/2112.04359","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:1a0bf60429f75b228f3491384f5008f2454bcd8aaaa6b2d6cc0320e80f207cde","observation_id":"e9966771-7a66-405b-9f65-4d9a97f26da9","resolution":{"observed_at":"2026-08-06T15:33:31.839076Z","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-06T15:33:34.424849Z","title":"Differentiable Symbolic Execution","venue":null,"work_id":"f393af08-bd69-4ddc-8eaa-54fbe1866445","year":2022},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.892008Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:6fe3def33d5aa247916fe8d013996eca2f95e6f6eb95746c074ab1bff31939a5","observation_id":"79abf617-47d2-4d44-9aa6-026c51e027d9","resolution":{"observed_at":"2026-08-06T15:33:34.507817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.13179","last_updated":"2024-02-20T17:46:49Z","snapshot_observed_at":"2026-08-04T23:55:21.017951Z","submitted_at":"2024-02-20T17:46:49Z","title":"homotopy.io: a proof assistant for finitely-presented globular $n$-categories","version":1},"cited_work":{"arxiv_id":"2402.13179","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.13179","snapshot_observed_at":"2026-08-06T15:33:32.851434Z","title":"homotopy.io: a proof assistant for finitely-presented globular $n$-categories","venue":"cs.LO","work_id":"590db4d1-d463-4740-8f44-94378dda3b83","year":2024},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.976141Z"},"links":{"cited_paper":"/paper/2402.13179","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:3752ef0334919141c68eeb59b25e0783da4889b5bbe2539d330f57b7a47b9f69","observation_id":"f3f505da-fd35-43ee-a8d9-8097f3bcc680","resolution":{"observed_at":"2026-08-06T15:33:32.906004Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.09501","last_updated":"2022-03-01T22:20:39Z","snapshot_observed_at":"2026-07-06T11:01:45.274067Z","submitted_at":"2021-04-17T22:18:03Z","title":"Signatures of causality and determinism in a quantum theory of events","version":2},"cited_work":{"arxiv_id":"2104.09501","doi":null,"metadata_source":"pith","pith_arxiv_id":"2104.09501","snapshot_observed_at":"2026-08-06T15:33:32.721222Z","title":"Signatures of causality and determinism in a quantum theory of events","venue":"quant-ph","work_id":"706ac451-4eda-42fd-9195-29d485e54a3d","year":2021},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:32.087230Z"},"links":{"cited_paper":"/paper/2104.09501","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:66864a1857d056baaa8f2e312c752367d0e844e1e5edaa7802799500b9b50d0d","observation_id":"604658b2-7459-4a8c-8336-d63f189bc223","resolution":{"observed_at":"2026-08-06T15:33:32.754188Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.07123","last_updated":"2024-05-12T01:14:00Z","snapshot_observed_at":"2026-07-06T18:13:04.026351Z","submitted_at":"2024-05-12T01:14:00Z","title":"CANA v1.0.0 and schematodes: efficient quantification of symmetry in Boolean automata","version":1},"cited_work":{"arxiv_id":"2405.07123","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.07123","snapshot_observed_at":"2026-08-06T15:33:32.390551Z","title":"CANA v1.0.0 and schematodes: efficient quantification of symmetry in Boolean automata","venue":"q-bio.MN","work_id":"df40c263-7c6e-46ca-afa1-2d47c3b49928","year":2024},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:32.238183Z"},"links":{"cited_paper":"/paper/2405.07123","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:204c7b358cd8f65210dde8c9f522740388039082b486dcd611345391ff9206e3","observation_id":"47a28722-0a29-4680-aee1-03e3cf71d828","resolution":{"observed_at":"2026-08-06T15:33:32.438402Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:37.897869Z","title":"Language models are few-shot learners","venue":null,"work_id":"93e2a5b3-0a75-410e-8f50-24a95cdf9cd6","year":1901},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:28.954517Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:5ba672f5b7b2d603c9c5b9b97158036ea13af7fae7de1769fbba65244327344a","observation_id":"ca21adc7-5ad7-4911-b112-4e821d0d7dd9","resolution":{"observed_at":"2026-08-06T15:33:37.952817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:37.443606Z","title":"RobustFill: Neural Program Learning Under Noisy I/O","venue":null,"work_id":"356666bb-92eb-4c61-8523-0f44d2ba40a7","year":2017},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.431267Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:305a742c2eaa31a09a2013e9a8b791e76c315f966d17a329943157f57ea019d6","observation_id":"9e578fa6-9f2b-4bc9-8c4b-c917c301ab51","resolution":{"observed_at":"2026-08-06T15:33:37.512547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:29.368364Z","title":"ISBN 1581133898","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.368364Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:fc11545706aa0e559996832394c2854c67b501170fa9fb0da4c33e66b083cd56","observation_id":"1fcce0df-530e-46c1-b514-fb84a6309bce","resolution":{"observed_at":"2026-08-06T15:33:29.368364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07258","last_updated":"2022-07-12T23:45:14Z","snapshot_observed_at":"2026-08-02T09:20:40.804790Z","submitted_at":"2021-08-16T17:50:08Z","title":"On the Opportunities and Risks of Foundation Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07258","snapshot_observed_at":"2026-08-06T15:33:28.908025Z","title":"Hudson, Ehsan Adeli, and et al","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:28.908025Z"},"links":{"cited_paper":"/paper/2108.07258","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:4f35087141b8380c4a4f2f956404f61f368e691993ecf220304ddcc6e0a4177a","observation_id":"b7175f72-d00e-4983-b9d1-0e21d9c84bec","resolution":{"observed_at":"2026-08-06T15:33:28.908025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.10852","last_updated":"2022-03-27T14:44:00Z","snapshot_observed_at":"2026-07-06T11:50:20.455700Z","submitted_at":"2021-09-22T17:26:36Z","title":"Pix2seq: A Language Modeling Framework for Object Detection","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.10852","snapshot_observed_at":"2026-08-06T15:33:28.819122Z","title":"Multilingual code generation with knowledge distillation","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:28.819122Z"},"links":{"cited_paper":"/paper/2109.10852","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:5e822505a94ebfef3f9c3775b3fffb25fcf812f7990c352b1505100e74123f6c","observation_id":"e938ce05-d126-40cc-b325-8a904404d84e","resolution":{"observed_at":"2026-08-06T15:33:28.819122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2001.08361","last_updated":"2020-01-23T03:59:20Z","snapshot_observed_at":"2026-07-06T08:52:12.656082Z","submitted_at":"2020-01-23T03:59:20Z","title":"Scaling Laws for Neural Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2001.08361","snapshot_observed_at":"2026-08-06T15:33:30.299211Z","title":"Brown, Benjamin Chess, Rewon Child, Scott Gray, Chris Hallacy, Jan Leike, Heewoo Lee, et al","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.299211Z"},"links":{"cited_paper":"/paper/2001.08361","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:7f3e29d86ae3f8f3a8d2e4a75d8bdf62ca06073b75b1d4a0119bc3c163cc95c3","observation_id":"32c6fbde-b34c-4b8d-aaa4-ef0a5742e5d7","resolution":{"observed_at":"2026-08-06T15:33:30.299211Z","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-06T15:33:38.037109Z","title":"Syntax- guided synthesis","venue":null,"work_id":"b741bc1a-bd64-47fd-a66d-34bcd240b6b8","year":2013},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:28.728347Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:014bf0c0fe7fe953fcd2d6b3d6cd6fb0d933a43601d5f99e8e1b6881c077eb2b","observation_id":"0e762203-55ae-448d-988f-88ed1c747c7c","resolution":{"observed_at":"2026-08-06T15:33:38.119730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.13848","last_updated":"2024-03-25T14:45:53Z","snapshot_observed_at":"2026-07-06T17:33:29.707531Z","submitted_at":"2024-02-21T14:50:24Z","title":"Zero-BEV: Zero-shot Projection of Any First-Person Modality to BEV Maps","version":2},"cited_work":{"arxiv_id":"2402.13848","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.13848","snapshot_observed_at":"2026-08-06T15:33:33.694304Z","title":"Zero-BEV: Zero-shot Projection of Any First-Person Modality to BEV Maps","venue":"cs.CV","work_id":"b8dd901c-37ec-4cf3-a7e8-69f1b2cf6053","year":2024},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.368863Z"},"links":{"cited_paper":"/paper/2402.13848","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:c82ca17dc83db64a50914b6a2339fb32e933ad0d6ed4c4dba2c6f4e4bc12c74a","observation_id":"987b0a59-4853-47a1-8d86-952ca5a58fc3","resolution":{"observed_at":"2026-08-06T15:33:33.760027Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:35.684905Z","title":"Synthesizing program transformations for database schema refac- toring","venue":null,"work_id":"2ed417ea-9d83-482a-ae62-36fdcbe3dbb4","year":2018},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.928095Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:3cb904d6b8e4d265430a54de716e90eacd173521167f621feb5878ac9ec22d8d","observation_id":"9c60935f-1452-4b40-8a19-fd4d8a8ff5b3","resolution":{"observed_at":"2026-08-06T15:33:35.757478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:35.287867Z","title":"Interpretable program synthesis","venue":null,"work_id":"1c4e95e3-c64e-43c1-9212-77ffdaa028ef","year":2018},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.229164Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:0db7e4cbeea4794cc4a2552ea0d68fefc88d96b7a4d42c489c3730a440fa07f1","observation_id":"47138154-9d35-44e8-9af9-07c5a6b6b066","resolution":{"observed_at":"2026-08-06T15:33:35.380166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:37.283708Z","title":"Beyond basic prose: A survey of programming with large language models","venue":null,"work_id":"db354a6f-7c9a-4b60-9650-e1829c50c1f9","year":2023},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.533646Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:1f97e82b5d4da31c40de1cbe4b77fb410adf5907bd2d6a6a114bc0581f31b7c8","observation_id":"63660434-7e3d-4c12-b07c-f976c1ecec2e","resolution":{"observed_at":"2026-08-06T15:33:37.342481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.09560","last_updated":"2023-05-16T15:56:56Z","snapshot_observed_at":"2026-07-06T15:28:13.151803Z","submitted_at":"2023-05-16T15:56:56Z","title":"On propagation of positive and negative streamers in air in uniform electric fields","version":1},"cited_work":{"arxiv_id":"2305.09560","doi":null,"metadata_source":"pith","pith_arxiv_id":"2305.09560","snapshot_observed_at":"2026-08-06T15:33:32.536670Z","title":"On propagation of positive and negative streamers in air in uniform electric fields","venue":"physics.plasm-ph","work_id":"09a555f3-cfa3-46fe-9f9a-af2624bd6372","year":2023},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:32.143586Z"},"links":{"cited_paper":"/paper/2305.09560","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:e0e86d66ed0f65336bf16a8feb7619aa3f89e365827c0b8c09a2b64001287ca2","observation_id":"abe8a134-479d-427e-bb9b-3e141d790327","resolution":{"observed_at":"2026-08-06T15:33:32.625167Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:36.038283Z","title":"User study of a pbe-based command-line text processing tool","venue":null,"work_id":"8f1c7161-31f3-4e56-88a5-9ecde3721d01","year":2015},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.668270Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:6cddcd38fef6fd4f6ebf06f659795f9c4bb7ad207a040bfb6a536e7dcfe694cc","observation_id":"9097ab25-6d81-4f44-9d8d-1ae5ac24b436","resolution":{"observed_at":"2026-08-06T15:33:36.097453Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.12712","last_updated":"2023-04-13T20:41:31Z","snapshot_observed_at":"2026-08-03T04:49:15.195814Z","submitted_at":"2023-03-22T16:51:28Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.12712","snapshot_observed_at":"2026-08-06T15:33:29.032020Z","title":"Sparks of artificial general intelligence: Early experiments with gpt-4","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.032020Z"},"links":{"cited_paper":"/paper/2303.12712","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:0207c0eebd6e56b58c83fc04c7d4ff8ef6313ba7963b86e40a6d47c6e38b7037","observation_id":"8bceefb7-a0dc-4d65-ae35-a27fc2cf1be4","resolution":{"observed_at":"2026-08-06T15:33:29.032020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-06T15:33:29.189443Z","title":"Evaluating large language models trained on code","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.189443Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:40215fc28e445087d01811cd4385aa19a88ced2eec715f3d0e641e8d7566993a","observation_id":"158b43c5-61be-4c66-80f4-3e35fb9177dc","resolution":{"observed_at":"2026-08-06T15:33:29.189443Z","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-06T15:33:36.336036Z","title":"Termite-2: A system for user- guided synthesis of device drivers","venue":null,"work_id":"d158a6dd-90b4-44ee-97c7-e42d7966c2ff","year":2007},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:30.161915Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:2d223822991e3e9ed1dea59464b719f828bd540d4a712b83440aff7ed7df7ecd","observation_id":"c1fab559-5143-417b-a449-d331538206b0","resolution":{"observed_at":"2026-08-06T15:33:36.413154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T15:33:37.753134Z","title":"Leverag- ing Grammar and Reinforcement Learning for Neural Program Synthesis","venue":null,"work_id":"18085849-5254-4bd7-a3ee-1605ec88b674","year":2018},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:29.115777Z"},"links":{"citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:ef4630bcb6e2f6bd19898362d3520aa7188055ec67ff4de05834a7787b2c29be","observation_id":"8b845076-f79f-4a56-9d59-35050fc41527","resolution":{"observed_at":"2026-08-06T15:33:37.822242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.09623","last_updated":"2021-06-17T16:00:08Z","snapshot_observed_at":"2026-08-07T14:12:04.290755Z","submitted_at":"2021-06-17T16:00:08Z","title":"Towards Explainable Student Group Collaboration Assessment Models Using Temporal Representations of Individual Student Roles","version":1},"cited_work":{"arxiv_id":"2106.09623","doi":null,"metadata_source":"pith","pith_arxiv_id":"2106.09623","snapshot_observed_at":"2026-08-06T15:33:33.049208Z","title":"Towards Explainable Student Group Collaboration Assessment Models Using Temporal Representations of Individual Student Roles","venue":"cs.LG","work_id":"7810bd44-7163-44b3-a6ce-cbff8bdd7b35","year":2021},"citing_paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T15:33:31.523810Z"},"links":{"cited_paper":"/paper/2106.09623","citing_paper":"/paper/2508.00013"},"observation_digest":"sha256:9314a90883b81266c4d2e0f5bba60855ad6eb058e02cf48ccd978748d685c4d5","observation_id":"c24f8472-a1f5-4456-af00-0f547488d1e0","resolution":{"observed_at":"2026-08-06T15:33:33.088207Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.00013","last_updated":"2025-07-21T11:33:57Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T15:27:46.136316Z","submitted_at":"2025-07-21T11:33:57Z","title":"From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":8,"parse_uncertain":0,"unresolved":11,"verified_exact":2,"verified_fuzzy":24},"total_outbound_references":45},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2508.00013."}