Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T15:33:32.238183Z
Paper Citation Record · LEDGER
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
45 of 45 outbound references displayed
- verified exact2
- verified fuzzy24
- unresolved11
- parse uncertain0
- malformed identifier0
- metadata mismatch8
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 00764bf4-6935-4e3f-94a2-6255f277c60a · outbound
This paper cites Execution-Guided Neural Program Synthesis.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Execution-Guided Neural Program Synthesis
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.676682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d19e5135-6ca3-4e96-955d-1584fdc24870 · outbound
This paper cites Smooth Bilevel Programming for Sparse Regularization.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Smooth Bilevel Programming for Sparse Regularization
Reference 12
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:34.115498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0cb2d136-0564-4299-8801-8854f14a9a2d · outbound
This paper cites Cordell Green.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Cordell Green
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.206334Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 45dd19e2-2c17-44d1-9fd8-b75dc2f8accb · outbound
This paper cites On the naturalness of software.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms On the naturalness of software
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.054556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9b135d19-5029-43d2-bf8e-246f1d87fd79 · outbound
This paper cites Nvidia gtc 2023 keynote,.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Nvidia gtc 2023 keynote,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:36.913875Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b2d3ea99-a538-46ae-b900-663e6959bb79 · outbound
This paper cites Joomy Jeo, Won-Kee Lee, and Kwangkeun Yi.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Joomy Jeo, Won-Kee Lee, and Kwangkeun Yi
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:36.712661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1bfeebcf-41d4-4b8b-920e-ef4ceb338c77 · outbound
This paper cites Learning to Synthesize Programs as Interpretable and Generalizable Policies.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Learning to Synthesize Programs as Interpretable and Generalizable Policies
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:36.571131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 66bbaafc-d486-435b-8fa1-309a3c6a4de0 · outbound
This paper cites Oscillations and differences in Triebel-Lizorkin-Morrey spaces.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Oscillations and differences in Triebel-Lizorkin-Morrey spaces
Reference 19
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:33.958322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 83b76c90-dec6-4a47-a74e-8cacf2a0fee2 · outbound
This paper cites WizardCoder: Empowering Code Large Language Models with Evol-Instruct.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms WizardCoder: Empowering Code Large Language Models with Evol-Instruct
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:30.459864Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3b75ba1-2b42-407e-b897-a84f3eef2acc · outbound
This paper cites Quantum-Enhanced Support Vector Machine for Large-Scale Stellar Classification with GPU Acceleration.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Quantum-Enhanced Support Vector Machine for Large-Scale Stellar Classification with GPU Acceleration
Reference 23
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:33.590348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4ea1cd62-f4af-41c3-9a50-729dade2e7e6 · outbound
This paper cites A deductive approach to program synthesis.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms A deductive approach to program synthesis
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:36.249292Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9c82c850-dc4a-4eed-b7c4-a33328f3eecf · outbound
This paper cites Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:30.736315Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c749d33-ec5f-4976-b6ce-30a7160e283d · outbound
This paper cites Automating file system manipulation and string transformations from examples.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Automating file system manipulation and string transformations from examples
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.932154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5031e1ef-a714-4d7d-b169-f272b846dbbd · outbound
This paper cites Reflexion: Language Agents with Verbal Reinforcement Learning.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Reflexion: Language Agents with Verbal Reinforcement Learning
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:30.992714Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7e317129-4a97-4ed8-8857-ab739c991c2c · outbound
This paper cites Neuro- Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Neuro- Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.627087Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2f63ba4e-74cf-4549-b045-46e075e43420 · outbound
This paper cites Jsketch: sketch-based synthesis for java.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Jsketch: sketch-based synthesis for java
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.484429Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 93bcc670-b5d3-47ca-b444-68d9c33948f2 · outbound
This paper cites CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.207639Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 07886b9e-312d-447f-8291-393a7d49bd08 · outbound
This paper cites Auto-composing domain-specific data plane programs.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Auto-composing domain-specific data plane programs
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.045524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f6e33d4a-8b03-4920-a84a-ccd5e6c1080a · outbound
This paper cites Tunable interplay between light and heavy electrons in twisted trilayer graphene.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Tunable interplay between light and heavy electrons in twisted trilayer graphene
Reference 35
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:33.273610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 10df93c4-bfd7-4abd-92b5-a292a8f2a5ce · outbound
This paper cites Trustsketch: A trustworthy sketch-based telemetry system with sgx.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Trustsketch: A trustworthy sketch-based telemetry system with sgx
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:34.874568Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 51df46e2-03ab-4b5b-bdcb-7eaf2560eaff · outbound
This paper cites HOUDINI: Lifelong Learning as Program Synthesis.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms HOUDINI: Lifelong Learning as Program Synthesis
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:34.686581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0afab509-5d13-4441-87da-f984690d471e · outbound
This paper cites A Survey on Large Language Model based Autonomous Agents.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms A Survey on Large Language Model based Autonomous Agents
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:31.780047Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e9966771-7a66-405b-9f65-4d9a97f26da9 · outbound
This paper cites Ethical and social risks of harm from Language Models.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Ethical and social risks of harm from Language Models
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:31.839076Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79abf617-47d2-4d44-9aa6-026c51e027d9 · outbound
This paper cites Differentiable Symbolic Execution.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Differentiable Symbolic Execution
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:34.507817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f3f505da-fd35-43ee-a8d9-8097f3bcc680 · outbound
This paper cites homotopy.io: a proof assistant for finitely-presented globular $n$-categories.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms homotopy.io: a proof assistant for finitely-presented globular $n$-categories
Reference 42
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:32.906004Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 604658b2-7459-4a8c-8336-d63f189bc223 · outbound
This paper cites Signatures of causality and determinism in a quantum theory of events.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Signatures of causality and determinism in a quantum theory of events
Reference 43
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:32.754188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 47a28722-0a29-4680-aee1-03e3cf71d828 · outbound
This paper cites CANA v1.0.0 and schematodes: efficient quantification of symmetry in Boolean automata.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms CANA v1.0.0 and schematodes: efficient quantification of symmetry in Boolean automata
Reference 45
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:32.438402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ca21adc7-5ad7-4911-b112-4e821d0d7dd9 · outbound
This paper cites Language models are few-shot learners.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Language models are few-shot learners
Reference 1987
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.952817Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9e578fa6-9f2b-4bc9-8c4b-c917c301ab51 · outbound
This paper cites RobustFill: Neural Program Learning Under Noisy I/O.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms RobustFill: Neural Program Learning Under Noisy I/O
Reference 1993
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.512547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1fcce0df-530e-46c1-b514-fb84a6309bce · outbound
This paper cites ISBN 1581133898.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms ISBN 1581133898
Reference 2001
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:29.368364Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7175f72-d00e-4983-b9d1-0e21d9c84bec · outbound
This paper cites On the Opportunities and Risks of Foundation Models.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms On the Opportunities and Risks of Foundation Models
Reference 2004
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:28.908025Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e938ce05-d126-40cc-b325-8a904404d84e · outbound
This paper cites Pix2seq: A Language Modeling Framework for Object Detection.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Pix2seq: A Language Modeling Framework for Object Detection
Reference 2009
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:28.819122Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 32c6fbde-b34c-4b8d-aaa4-ef0a5742e5d7 · outbound
This paper cites Scaling Laws for Neural Language Models.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Scaling Laws for Neural Language Models
Reference 2011
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:30.299211Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e762203-55ae-448d-988f-88ed1c747c7c · outbound
This paper cites Syntax- guided synthesis.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Syntax- guided synthesis
Reference 2013
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:38.119730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 987b0a59-4853-47a1-8d86-952ca5a58fc3 · outbound
This paper cites Zero-BEV: Zero-shot Projection of Any First-Person Modality to BEV Maps.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Zero-BEV: Zero-shot Projection of Any First-Person Modality to BEV Maps
Reference 2014
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:33:33.760027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9c60935f-1452-4b40-8a19-fd4d8a8ff5b3 · outbound
This paper cites Synthesizing program transformations for database schema refac- toring.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Synthesizing program transformations for database schema refac- toring
Reference 2015
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.757478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 47138154-9d35-44e8-9af9-07c5a6b6b066 · outbound
This paper cites Interpretable program synthesis.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Interpretable program synthesis
Reference 2016
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:35.380166Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 63660434-7e3d-4c12-b07c-f976c1ecec2e · outbound
This paper cites Beyond basic prose: A survey of programming with large language models.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Beyond basic prose: A survey of programming with large language models
Reference 2017
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.342481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation abe8a134-479d-427e-bb9b-3e141d790327 · outbound
This paper cites On propagation of positive and negative streamers in air in uniform electric fields.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms On propagation of positive and negative streamers in air in uniform electric fields
Reference 2018
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-06T15:33:32.625167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9097ab25-6d81-4f44-9d8d-1ae5ac24b436 · outbound
This paper cites User study of a pbe-based command-line text processing tool.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms User study of a pbe-based command-line text processing tool
Reference 2019
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:36.097453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8bceefb7-a0dc-4d65-ae35-a27fc2cf1be4 · outbound
This paper cites Sparks of Artificial General Intelligence: Early experiments with GPT-4.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Sparks of Artificial General Intelligence: Early experiments with GPT-4
Reference 2020
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:29.032020Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 158b43c5-61be-4c66-80f4-3e35fb9177dc · outbound
This paper cites Evaluating Large Language Models Trained on Code.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Evaluating Large Language Models Trained on Code
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T15:33:29.189443Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1fab559-5143-417b-a449-d331538206b0 · outbound
This paper cites Termite-2: A system for user- guided synthesis of device drivers.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Termite-2: A system for user- guided synthesis of device drivers
Reference 2022
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:36.413154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8b845076-f79f-4a56-9d59-35050fc41527 · outbound
This paper cites Leverag- ing Grammar and Reinforcement Learning for Neural Program Synthesis.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Leverag- ing Grammar and Reinforcement Learning for Neural Program Synthesis
Reference 2023
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T15:33:37.822242Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c24f8472-a1f5-4456-af00-0f547488d1e0 · outbound
This paper cites Towards Explainable Student Group Collaboration Assessment Models Using Temporal Representations of Individual Student Roles.
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms Towards Explainable Student Group Collaboration Assessment Models Using Temporal Representations of Individual Student Roles
Reference 2024
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T15:33:33.088207Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.