{"total":15,"rows":[{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2406.08316","title":"Is Programming by Example solved by LLMs?","created":"2024-06-12","cited_by_count":27,"area":null},{"id":"2307.13883","title":"ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis","created":"2023-07-26","cited_by_count":17,"area":null},{"id":"2405.15880","title":"HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis","created":"2024-05-24","cited_by_count":15,"area":null},{"id":"2206.05922","title":"From Perception to Programs: Regularize, Overparameterize, and Amortize","created":"2022-06-13","cited_by_count":13,"area":null},{"id":"2204.03758","title":"Compositional Generalization and Decomposition in Neural Program Synthesis","created":"2022-04-07","cited_by_count":6,"area":null},{"id":"2306.02049","title":"LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas","created":"2023-06-03","cited_by_count":6,"area":null},{"id":"2408.12212","title":"Relational decomposition for program synthesis","created":"2024-08-22","cited_by_count":6,"area":null},{"id":"2401.16215","title":"Learning big logical rules by joining small rules","created":"2024-01-29","cited_by_count":4,"area":null},{"id":"2210.00764","title":"Relational program synthesis with numerical reasoning","created":"2022-10-03","cited_by_count":2,"area":null},{"id":"2405.17514","title":"AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning","created":"2024-05-27","cited_by_count":2,"area":null},{"id":"2410.12166","title":"Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces","created":"2024-10-16","cited_by_count":2,"area":null},{"id":"2503.08738","title":"Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model","created":"2025-03-11","cited_by_count":2,"area":null},{"id":"2211.04370","title":"NESTER: An Adaptive Neurosymbolic Method for Causal Effect Estimation","created":"2022-11-08","cited_by_count":1,"area":null},{"id":"2510.09726","title":"Herb.jl: A Unifying Program Synthesis Library","created":"2025-10-10","cited_by_count":1,"area":null}],"next_cursor":null}