{"as_of":"2026-08-17T02:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:56a4ef49b6540415e94e821860939fb540daa9aa70c084e308360efc47472705","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-16T06:30:59.297886+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-13T09:07:01.244336Z","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:f28a41142ece2b094d680d25205e03053b5006e202f6e9807767f26377e08482","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T18:20:09.493166Z","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-13T09:07:01.244336Z","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:ecf23b1931e51ad2edfd493772fda2872facf145788a5e9b0e8c48869352f4d4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:f7bbf20f753fdcb120975803e6184eccff6dca2b776598e3c4afbc4a7e9dcc09","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:527763a4c00837ca40f6798487e260bf2d18eed351be0560c50a62f61fa7bb48","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:c9b532ca367ad13e7b87f2e03ced3843c209829a4046dace783dbe84c9da662e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:7de0911bcf67e3104d8b6093ad564b8f3fe597e2e24357859d459840830ba4aa","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:94e71acc95cd7ca39b07f952d200ef9ed49eaf9e8558bf768e2c2f84ca11078c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T15:20:51.762309Z","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-13T09:07:01.244336Z","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:c97423a6ed91a81befd151e774d1405ca38129982c4d9586db8cef070e6f1de5","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T15:23:56.097387Z","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-13T09:07:01.244336Z","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:e82f84afee7925377511e2c322dcc20a7d8653c35e37c60e025be31a731d111b","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-08-16T14:41:38.617661Z","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-13T09:07:01.244336Z","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:b716ccfdff01cf66516f5c422318200e17d93bd8975e314f096828a5dba709ff","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:4d6dc47aa4f27e71e01c94e2d44acf7e615b57488b290fb4881c3450c0b8f2fc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T15:31:26.337457Z","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-13T09:07:01.244336Z","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:c42e4f665609afc38dac71ce3c81eeda6b36a8eaacdc226b357bc044eae41b92","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-13T09:07:01.244336Z","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:0912b85573a13df5d114741c79014d7d505a7b3a136d71bd4383d0fc6f904791","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-15T16:12:25.059113Z","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-13T09:07:01.244336Z","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:97783505ad3c83d0341f80eb48dff238814f855bc0ba7761ae5d97d2b3dc75e6","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-13T09:07:01.244336Z","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:0cac71038306729e0595b9dcbf1d02cba065da5cacacde499f7180a3bdfe66ef","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:12ea538ce2ba1f705948a3d0f937dd72313cdc14c81e6374e957ff3faa7b3266","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:035313469d21b321495877427fea1551d866780be69cb41149509cc395bdc2a1","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:081f3ad8f558598d2c05cc5b2c86d362e20ce9e10715f3e3f06a6c239ee12738","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T14:25:26.647854Z","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-13T09:07:01.244336Z","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:913ffa0a4d76a4671fcb70c1bb1083552995eec8d8e1a2c63c57b08e1f86bcaa","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:df9505913cb7063054101ad5dcb2a0e032cea137888b370aa976a4140cfe986a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:2739f514f9ce415869d25d361a9a0a4c0b24651a0217ff5069b0defae4853981","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T04:09:15.664842Z","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-13T09:07:01.244336Z","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:daac004a83441f9de2ba720d86e5d4fe56dafb162ebc7264c1568118d4fe6952","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-08-09T15:17:43.394064Z","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-13T09:07:01.244336Z","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:c963b41734fca7bf13227a64c5331e2b500e344c5956d79c10493ff498443d3f","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-13T09:07:01.244336Z","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:0be67b003797e24c98e44abeba3f3a59a6784f487eee931bf175f66e881c7c4e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T14:16:52.420499Z","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-13T09:07:01.244336Z","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:58d293cf995d34f25e2b012dba88017770ac8c53da1c602e25831449e2a36423","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T18:30:50.915116Z","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-13T09:07:01.244336Z","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:4dd71717154aa0976468f6316a71fb6f1dbfc07c4948ecda3d44de51411e4c03","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T13:53:28.690445Z","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-13T09:07:01.244336Z","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:3deb888cc88549cd93d8d9e739ecdabcecd0a6aad4c57fab8407b90e220822b0","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:8dfd75575b936e50e5baebbf336bc13e4af35b9e337835f03413b0d6c0b1e6a4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:04d9179e3186951ab78bf8778f8e02c554c15da56a01173bcbcc6990973c8d1b","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:8b2b54fac4f5e38623ad9a70e581b70309b472009835d9c051e82b955681ed7d","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-13T09:07:01.244336Z","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:ccbc1175f7dd0b82059219ac7b0c9c997bfca60bd8a334ca699d5c2b0242408b","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-08-16T17:54:48.921016Z","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-13T09:07:01.244336Z","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:37994360605da2f8352c9e646fe6dde09eebffb262d57e9dbe837c32f4b63d3c","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-08-13T17:41:53.092611Z","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-13T09:07:01.244336Z","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:05cb610f784e36c82b97b6b8dba395c4c10da22e870bf440a3b9298c91782e49","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-13T09:07:01.244336Z","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:fb915fe412f503f2a4bcc5c2cd677c13679dd9610c4390c9a55802fb32191b81","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T14:16:34.510428Z","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-13T09:07:01.244336Z","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:186265978832d2d9e0ceacf021d891219ca17862bf8627b51d047bd0d883f93b","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:b1f6081d8fe2463310f75a5f933cb3ab89406f3da2a9af33271576dce24b914e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:b039dd748ff8ef16ac607d459f05357d19a7fbb1925e96028b3c18f90b22537c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:46944f09af779642199dc2af4c6783e4b13d427757cd43c20be79fc81b9b2e05","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-08-16T15:32:37.644320Z","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-13T09:07:01.244336Z","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:4f62063c71b42e29d2a3aec6308772649f5de8dc6a85af32f053046a56d3b202","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:22da068b379fe264fae53ec3082a80d7e50ff15de479acca4e44b105900a082c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:c7ff8b0c7b146a476107e6328b375f6db119a24062ac19cef1c8dcf2b0ea7da7","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-08-08T11:58:24.516369Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-08-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-13T09:07:01.244336Z","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:80834ca0934883d0395ef80ccd1e42d2f39b7b1d6df18a8738ca00de040f3e90","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-13T09:07:01.244336Z","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:09236cecb58b616323163880f1791c02f2518bdd63ba9542f59b4e0385646288","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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:e8a4e53de67491b77638680c512b9536dadda1d2e304d7f53fe8d1593643b767","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T18:16:20.761771Z","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-13T09:07:01.244336Z","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:2db82a14deb26ef7c626486f3548f90e098b93babe177d27d9e78bf4a5daf8c5","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-13T09:07:01.244336Z","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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2508.00013."}