{"total":102,"rows":[{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320,"area":null},{"id":"2108.07732","title":"Program Synthesis with Large Language Models","created":"2021-08-16","cited_by_count":3637,"area":null},{"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":"2201.05966","title":"UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Models","created":"2022-01-16","cited_by_count":231,"area":null},{"id":"2404.18400","title":"LLM-SR: Scientific Equation Discovery via Programming with Large Language Models","created":"2024-04-29","cited_by_count":133,"area":null},{"id":"2302.07867","title":"Learning Performance-Improving Code Edits","created":"2023-02-15","cited_by_count":106,"area":null},{"id":"2109.08678","title":"RnG-KBQA: Generation Augmented Iterative Ranking for Knowledge Base Question Answering","created":"2021-09-17","cited_by_count":86,"area":null},{"id":"2107.02794","title":"Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning","created":"2021-07-06","cited_by_count":85,"area":null},{"id":"2409.09359","title":"Symbolic Regression with a Learned Concept Library","created":"2024-09-14","cited_by_count":83,"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":"2310.08992","title":"CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules","created":"2023-10-13","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":"2106.11053","title":"Leveraging Language to Learn Program Abstractions and Search Heuristics","created":"2021-06-18","cited_by_count":45,"area":null},{"id":"2106.15339","title":"SpreadsheetCoder: Formula Prediction from Semi-structured Context","created":"2021-06-26","cited_by_count":41,"area":null},{"id":"2311.08588","title":"CodeScope: An Execution-based Multilingual Multitask Multidimensional Benchmark for Evaluating LLMs on Code Understanding and Generation","created":"2023-11-14","cited_by_count":39,"area":null},{"id":"2106.07824","title":"Communicating Natural Programs to Humans and Machines","created":"2021-06-15","cited_by_count":35,"area":null},{"id":"2107.00101","title":"Latent Execution for Neural Program Synthesis","created":"2021-06-29","cited_by_count":35,"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":"2406.08316","title":"Is Programming by Example solved by LLMs?","created":"2024-06-12","cited_by_count":27,"area":null},{"id":"2503.11509","title":"TikZero: Zero-Shot Text-Guided Graphics Program Synthesis","created":"2025-03-14","cited_by_count":24,"area":null},{"id":"2110.11536","title":"Neural-guided, Bidirectional Program Search for Abstraction and Reasoning","created":"2021-10-22","cited_by_count":23,"area":null},{"id":"2401.00288","title":"Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit","created":"2023-12-30","cited_by_count":22,"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":"2307.03817","title":"Exploring and Characterizing Large Language Models For Embedded System Development and Debugging","created":"2023-07-07","cited_by_count":20,"area":null},{"id":"2101.08809","title":"PyGlove: Symbolic Programming for Automated Machine Learning","created":"2021-01-21","cited_by_count":19,"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":"2203.08597","title":"Less is More: Summary of Long Instructions is Better for Program Synthesis","created":"2022-03-16","cited_by_count":17,"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":"2211.05165","title":"Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Database","created":"2022-11-09","cited_by_count":16,"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":"2111.01633","title":"Neural Program Generation Modulo Static Analysis","created":"2021-10-26","cited_by_count":13,"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":"2305.18342","title":"Neural Task Synthesis for Visual Programming","created":"2023-05-26","cited_by_count":13,"area":null},{"id":"2207.11765","title":"Neurosymbolic Repair for Low-Code Formula Languages","created":"2022-07-24","cited_by_count":12,"area":null},{"id":"2210.01603","title":"Neural-Symbolic Recursive Machine for Systematic Generalization","created":"2022-10-04","cited_by_count":12,"area":null},{"id":"2411.17708","title":"Towards Efficient Neurally-Guided Program Induction for ARC-AGI","created":"2024-11-13","cited_by_count":11,"area":null},{"id":"2511.00162","title":"ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus","created":"2025-10-31","cited_by_count":10,"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":"2106.07175","title":"Learning to Combine Per-Example Solutions for Neural Program Synthesis","created":"2021-06-14","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":"2304.03287","title":"Synthesis of Mathematical programs from Natural Language Specifications","created":"2023-03-30","cited_by_count":8,"area":null},{"id":"2407.02518","title":"INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness","created":"2024-06-23","cited_by_count":8,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2210.05050","title":"Neurosymbolic Programming for Science","created":"2022-10-10","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":"2303.07009","title":"Symbolic Regression for PDEs using Pruned Differentiable Programs","created":"2023-03-13","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":"2310.17306","title":"FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language","created":"2023-10-26","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":"2103.01403","title":"A Minimalist Dataset for Systematic Generalization of Perception, Syntax, and Semantics","created":"2021-03-02","cited_by_count":6,"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":"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":"2412.09058","title":"EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems","created":"2024-12-12","cited_by_count":6,"area":null},{"id":"2311.05740","title":"Generating Pragmatic Examples to Train Neural Program Synthesizers","created":"2023-11-09","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":"2407.08597","title":"Learning Program Behavioral Models from Synthesized Input-Output Pairs","created":"2024-07-11","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":"2509.17393","title":"Program Synthesis via Test-Time Transduction","created":"2025-09-22","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":"2111.12197","title":"Fixed Points in Cyber Space: Rethinking Optimal Evasion Attacks in the Age of AI-NIDS","created":"2021-11-23","cited_by_count":3,"area":null},{"id":"2202.04847","title":"A Survey on Artificial Intelligence for Source Code: A Dialogue Systems Perspective","created":"2022-02-10","cited_by_count":3,"area":null},{"id":"2204.02495","title":"Efficient Pragmatic Program Synthesis with Informative Specifications","created":"2022-04-05","cited_by_count":3,"area":null},{"id":"2207.06240","title":"Physics Informed Symbolic Networks","created":"2022-07-11","cited_by_count":3,"area":null},{"id":"2102.04231","title":"Neurogenetic Programming Framework for Explainable Reinforcement Learning","created":"2021-02-08","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":"2208.06555","title":"BenchPress: A Deep Active Benchmark Generator","created":"2022-08-13","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":"2306.07856","title":"Bayesian Program Learning by Decompiling Amortized Knowledge","created":"2023-06-13","cited_by_count":2,"area":null},{"id":"2403.07887","title":"Neural Slot Interpreters: Grounding Object Semantics in Emergent Slot Representations","created":"2024-02-02","cited_by_count":2,"area":null},{"id":"2406.00938","title":"A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI","created":"2024-06-03","cited_by_count":2,"area":null},{"id":"2407.04899","title":"Algorithmic Language Models with Neurally Compiled Libraries","created":"2024-07-06","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":"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":"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":"2307.05603","title":"Can You Improve My Code? Optimizing Programs with Local Search","created":"2023-07-10","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":"2505.14744","title":"Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms","created":"2025-05-20","cited_by_count":1,"area":null},{"id":"2506.04019","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","created":"2025-06-04","cited_by_count":1,"area":null},{"id":"2610.02710","title":"Self-Supervised Scaling of Terminal Environments for Scientific Domains","created":"2026-10-02","cited_by_count":1,"area":null},{"id":"2103.05030","title":"Program Synthesis Over Noisy Data with Guarantees","created":"2021-03-08","cited_by_count":0,"area":null},{"id":"2202.13040","title":"Iterative Genetic Improvement: Scaling Stochastic Program Synthesis","created":"2022-02-26","cited_by_count":0,"area":null},{"id":"2204.02970","title":"Evolutionary Programmer: Autonomously Creating Path Planning Programs based on Evolutionary Algorithms","created":"2022-03-30","cited_by_count":0,"area":null},{"id":"2204.08643","title":"Example-based Synthesis of Static Analysis Rules","created":"2022-04-19","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.01557","title":"BenchDirect: A Directed Language Model for Compiler Benchmarks","created":"2023-03-02","cited_by_count":0,"area":null},{"id":"2303.08574","title":"WikiCoder: Learning to Write Knowledge-Powered Code","created":"2023-03-15","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":"2307.03966","title":"Multi-Intent Detection in User Provided Annotations for Programming by Examples Systems","created":"2023-07-08","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":"2501.06423","title":"AlgoPilot: Fully Autonomous Program Synthesis Without Human-Written Programs","created":"2025-01-11","cited_by_count":0,"area":null},{"id":"2509.01016","title":"Analysis of Error Sources in LLM-based Hypothesis Search for Few-Shot Rule Induction","created":"2025-08-31","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}],"next_cursor":"100"}