A bachelor's thesis surveys deductive, inductive, sketch-based, LLM-based, and neuro-symbolic program synthesis, emphasizing correctness versus usability trade-offs.
Execution-Guided Neural Program Synthesis
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
A bachelor's thesis surveys deductive, inductive, sketch-based, LLM-based, and neuro-symbolic program synthesis, emphasizing correctness versus usability trade-offs.