{"total":18,"rows":[{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2211.16605","title":"Top-Down Synthesis for Library Learning","created":"2022-11-29","cited_by_count":58,"area":null},{"id":"2310.19791","title":"LILO: Learning Interpretable Libraries by Compressing and Documenting Code","created":"2023-10-30","cited_by_count":49,"area":null},{"id":"2111.01633","title":"Neural Program Generation Modulo Static Analysis","created":"2021-10-26","cited_by_count":13,"area":null},{"id":"2305.18498","title":"ANPL: Towards Natural Programming with Interactive Decomposition","created":"2023-05-29","cited_by_count":13,"area":null},{"id":"2109.02445","title":"Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis","created":"2021-09-03","cited_by_count":12,"area":null},{"id":"2408.08343","title":"API-guided Dataset Synthesis to Finetune Large Code Models","created":"2024-08-15","cited_by_count":11,"area":null},{"id":"2409.05873","title":"Procedural Synthesis of Synthesizable Molecules","created":"2024-08-24","cited_by_count":6,"area":null},{"id":"2605.23109","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","created":"2026-05-22","cited_by_count":4,"area":null},{"id":"2210.01634","title":"Type theory in human-like learning and inference","created":"2022-10-04","cited_by_count":3,"area":null},{"id":"2510.14331","title":"LLM Priors for ERM over Programs","created":"2025-10-16","cited_by_count":3,"area":null},{"id":"2608.09277","title":"P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation","created":"2026-08-10","cited_by_count":2,"area":null},{"id":"2104.13315","title":"Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization","created":"2021-04-27","cited_by_count":1,"area":null},{"id":"2205.09246","title":"Transformer-based Program Synthesis for Low-Data Environments","created":"2022-05-18","cited_by_count":1,"area":null},{"id":"2102.12553","title":"Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs","created":"2021-02-18","cited_by_count":0,"area":null},{"id":"2510.10216","title":"Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis","created":"2025-10-11","cited_by_count":0,"area":null},{"id":"2607.01280","title":"Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery","created":"2026-07-01","cited_by_count":0,"area":null},{"id":"2607.13921","title":"Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code","created":"2026-07-15","cited_by_count":0,"area":null}],"next_cursor":null}