{"total":70,"rows":[{"id":"2207.01780","title":"CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning","created":"2022-07-05","cited_by_count":358,"area":null},{"id":"2306.14898","title":"InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedback","created":"2023-06-26","cited_by_count":238,"area":null},{"id":"2303.05510","title":"Planning with Large Language Models for Code Generation","created":"2023-03-09","cited_by_count":182,"area":null},{"id":"2302.07867","title":"Learning Performance-Improving Code Edits","created":"2023-02-15","cited_by_count":106,"area":null},{"id":"2103.01937","title":"Neural Production Systems: Learning Rule-Governed Visual Dynamics","created":"2021-03-02","cited_by_count":75,"area":null},{"id":"2108.13643","title":"Learning to Synthesize Programs as Interpretable and Generalizable Policies","created":"2021-08-31","cited_by_count":59,"area":null},{"id":"2108.00648","title":"From LSAT: The Progress and Challenges of Complex Reasoning","created":"2021-08-02","cited_by_count":43,"area":null},{"id":"2106.15339","title":"SpreadsheetCoder: Formula Prediction from Semi-structured Context","created":"2021-06-26","cited_by_count":41,"area":null},{"id":"2107.00101","title":"Latent Execution for Neural Program Synthesis","created":"2021-06-29","cited_by_count":35,"area":null},{"id":"2207.07730","title":"How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition","created":"2022-07-15","cited_by_count":27,"area":null},{"id":"2305.00909","title":"Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation","created":"2023-04-28","cited_by_count":27,"area":null},{"id":"2110.00804","title":"ProTo: Program-Guided Transformer for Program-Guided Tasks","created":"2021-10-02","cited_by_count":21,"area":null},{"id":"2301.12950","title":"Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs","created":"2023-01-30","cited_by_count":20,"area":null},{"id":"2304.12877","title":"Proximal Curriculum for Reinforcement Learning Agents","created":"2023-04-25","cited_by_count":20,"area":null},{"id":"2203.10452","title":"CrossBeam: Learning to Search in Bottom-Up Program Synthesis","created":"2022-03-20","cited_by_count":18,"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":"2205.13728","title":"GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis","created":"2022-05-27","cited_by_count":16,"area":null},{"id":"2305.18342","title":"Neural Task Synthesis for Visual Programming","created":"2023-05-26","cited_by_count":13,"area":null},{"id":"2405.16450","title":"Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search","created":"2024-05-26","cited_by_count":13,"area":null},{"id":"2303.16359","title":"Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes","created":"2023-03-28","cited_by_count":10,"area":null},{"id":"2403.03997","title":"Guiding Enumerative Program Synthesis with Large Language Models","created":"2024-03-06","cited_by_count":9,"area":null},{"id":"2102.11137","title":"Program Synthesis Guided Reinforcement Learning for Partially Observed Environments","created":"2021-02-22","cited_by_count":8,"area":null},{"id":"2105.06441","title":"DeepQAMVS: Query-Aware Hierarchical Pointer Networks for Multi-Video Summarization","created":"2021-05-13","cited_by_count":8,"area":null},{"id":"2106.07175","title":"Learning to Combine Per-Example Solutions for Neural Program Synthesis","created":"2021-06-14","cited_by_count":8,"area":null},{"id":"2106.11417","title":"Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming","created":"2021-06-21","cited_by_count":8,"area":null},{"id":"2201.07135","title":"Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis","created":"2022-01-18","cited_by_count":8,"area":null},{"id":"2205.01265","title":"From {Solution Synthesis} to {Student Attempt Synthesis} for Block-Based Visual Programming Tasks","created":"2022-05-03","cited_by_count":8,"area":null},{"id":"2112.09600","title":"Transcribing Natural Languages for The Deaf via Neural Editing Programs","created":"2021-12-17","cited_by_count":7,"area":null},{"id":"2303.06018","title":"Hierarchical Neural Program Synthesis","created":"2023-03-09","cited_by_count":7,"area":null},{"id":"2310.04327","title":"Program Synthesis with Best-First Bottom-Up Search","created":"2023-10-06","cited_by_count":7,"area":null},{"id":"2402.08073","title":"Grounding Data Science Code Generation with Input-Output Specifications","created":"2024-02-12","cited_by_count":7,"area":null},{"id":"2406.05053","title":"Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation","created":"2024-06-07","cited_by_count":7,"area":null},{"id":"2110.12485","title":"Scaling Neural Program Synthesis with Distribution-based Search","created":"2021-10-24","cited_by_count":6,"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":"2212.02064","title":"E-MAPP: Efficient Multi-Agent Reinforcement Learning with Parallel Program Guidance","created":"2022-12-05","cited_by_count":6,"area":null},{"id":"2409.05873","title":"Procedural Synthesis of Synthesizable Molecules","created":"2024-08-24","cited_by_count":6,"area":null},{"id":"2205.14229","title":"Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis","created":"2022-05-27","cited_by_count":5,"area":null},{"id":"2208.05297","title":"Learning to Improve Code Efficiency","created":"2022-08-09","cited_by_count":4,"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":"2406.11334","title":"Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment","created":"2024-06-17","cited_by_count":4,"area":null},{"id":"2412.13464","title":"GenX: Mastering Code and Test Generation with Execution Feedback","created":"2024-12-18","cited_by_count":4,"area":null},{"id":"2106.11629","title":"On Adversarial Robustness of Synthetic Code Generation","created":"2021-06-22","cited_by_count":3,"area":null},{"id":"2212.05773","title":"A Survey on Natural Language Processing for Programming","created":"2022-12-12","cited_by_count":3,"area":null},{"id":"2305.13504","title":"Neural Machine Translation for Code Generation","created":"2023-05-22","cited_by_count":3,"area":null},{"id":"2307.09564","title":"Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis","created":"2023-07-13","cited_by_count":3,"area":null},{"id":"2402.02190","title":"Continuous Parallel Relaxation for Finding Diverse Solutions in Combinatorial Optimization Problems","created":"2024-02-03","cited_by_count":3,"area":null},{"id":"2406.09891","title":"Benchmarking Generative Models on Computational Thinking Tests in Elementary Visual Programming","created":"2024-06-14","cited_by_count":3,"area":null},{"id":"2602.06098","title":"A Theoretical Analysis of Test-Driven Code Generation","created":"2026-02-05","cited_by_count":3,"area":null},{"id":"2109.12075","title":"Towards A Measure Of General Machine Intelligence","created":"2021-09-24","cited_by_count":2,"area":null},{"id":"2205.07857","title":"Neural Program Synthesis with Query","created":"2022-05-08","cited_by_count":2,"area":null},{"id":"2211.00828","title":"Synthesizing Programs with Continuous Optimization","created":"2022-11-02","cited_by_count":2,"area":null},{"id":"2304.10726","title":"Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts","created":"2023-04-21","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":"2107.12322","title":"MLDev: Data Science Experiment Automation and Reproducibility Software","created":"2021-07-26","cited_by_count":1,"area":null},{"id":"2305.17518","title":"Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks","created":"2023-05-27","cited_by_count":1,"area":null},{"id":"2310.11614","title":"Learning a Hierarchical Planner from Humans in Multiple Generations","created":"2023-10-17","cited_by_count":1,"area":null},{"id":"2311.15960","title":"Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines","created":"2023-11-27","cited_by_count":1,"area":null},{"id":"2602.12561","title":"PLLM: Pseudo-Labeling Large Language Models for CAD Program Synthesis","created":"2026-02-13","cited_by_count":1,"area":null},{"id":"2103.01867","title":"Dual Reinforcement-Based Specification Generation for Image De-Rendering","created":"2021-03-02","cited_by_count":0,"area":null},{"id":"2107.09766","title":"Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning","created":"2021-07-16","cited_by_count":0,"area":null},{"id":"2302.00178","title":"Program Generation from Diverse Video Demonstrations","created":"2023-02-01","cited_by_count":0,"area":null},{"id":"2303.07166","title":"Improved Tree Search for Automatic Program Synthesis","created":"2023-03-13","cited_by_count":0,"area":null},{"id":"2305.15642","title":"Learning-Based Automatic Synthesis of Software Code and Configuration","created":"2023-05-25","cited_by_count":0,"area":null},{"id":"2306.03311","title":"Learning Embeddings for Sequential Tasks Using Population of Agents","created":"2023-06-05","cited_by_count":0,"area":null},{"id":"2307.06630","title":"Image Transformation Sequence Retrieval with General Reinforcement Learning","created":"2023-07-13","cited_by_count":0,"area":null},{"id":"2402.06990","title":"Guided Sketch-Based Program Induction by Search Gradients","created":"2024-02-10","cited_by_count":0,"area":null},{"id":"2506.08756","title":"Bayesian Inverse Physics for Neuro-Symbolic Robot Learning","created":"2025-06-10","cited_by_count":0,"area":null},{"id":"2604.10075","title":"Learning Hierarchical and Geometry-Aware Graph Representations for Text-to-CAD","created":"2026-04-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":"2610.13896","title":"Structural Automata for Neural Semantic Parsing","created":"2026-10-09","cited_by_count":0,"area":null}],"next_cursor":null}