{"total":84,"rows":[{"id":"2203.13474","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","created":"2022-03-25","cited_by_count":885,"area":null},{"id":"2308.10620","title":"Large Language Models for Software Engineering: A Systematic Literature Review","created":"2023-08-21","cited_by_count":399,"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":"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":"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":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54,"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":"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":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"id":"2307.02503","title":"Natural Language Generation and Understanding of Big Code for AI-Assisted Programming: A Review","created":"2023-07-04","cited_by_count":32,"area":null},{"id":"1904.06317","title":"Few-Shot Bayesian Imitation Learning with Logical Program Policies","created":"2019-04-12","cited_by_count":30,"area":"offlinerl"},{"id":"2503.11509","title":"TikZero: Zero-Shot Text-Guided Graphics Program Synthesis","created":"2025-03-14","cited_by_count":24,"area":null},{"id":"2106.03921","title":"Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning","created":"2021-06-07","cited_by_count":23,"area":null},{"id":"2106.10158","title":"Learning to Complete Code with Sketches","created":"2021-06-18","cited_by_count":23,"area":null},{"id":"2402.04858","title":"CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay","created":"2024-02-07","cited_by_count":23,"area":"lr"},{"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":"2402.08280","title":"Pix2Code: Learning to Compose Neural Visual Concepts as Programs","created":"2024-02-13","cited_by_count":18,"area":null},{"id":"2107.11864","title":"Neural Circuit Synthesis from Specification Patterns","created":"2021-07-25","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":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2209.07413","title":"EZNAS: Evolving Zero Cost Proxies For Neural Architecture Scoring","created":"2022-09-15","cited_by_count":15,"area":null},{"id":"2212.02684","title":"Codex Hacks HackerRank: Memorization Issues and a Framework for Code Synthesis Evaluation","created":"2022-12-06","cited_by_count":14,"area":null},{"id":"2111.01633","title":"Neural Program Generation Modulo Static Analysis","created":"2021-10-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":"2602.18266","title":"A Probabilistic Framework for LLM-Based Model Discovery","created":"2026-02-20","cited_by_count":12,"area":null},{"id":"2311.12890","title":"De-fine: Decomposing and Refining Visual Programs with Auto-Feedback","created":"2023-11-21","cited_by_count":10,"area":null},{"id":"2112.08438","title":"Programmatic Reward Design by Example","created":"2021-12-14","cited_by_count":9,"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":"2109.01634","title":"AI Descartes: Combining Data and Theory for Derivable Scientific Discovery","created":"2021-09-03","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":"2209.10254","title":"T5QL: Taming language models for SQL generation","created":"2022-09-21","cited_by_count":8,"area":null},{"id":"2402.14853","title":"NL2Formula: Generating Spreadsheet Formulas from Natural Language Queries","created":"2024-02-20","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":"2603.25111","title":"SEVerA: Verified Synthesis of Self-Evolving Agents","created":"2026-03-26","cited_by_count":8,"area":"agents"},{"id":"2303.06018","title":"Hierarchical Neural Program Synthesis","created":"2023-03-09","cited_by_count":7,"area":null},{"id":"2509.01398","title":"The Need for Verification in AI-Driven Scientific Discovery","created":"2025-09-01","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":"2111.15186","title":"Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis","created":"2021-11-30","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":"2209.13575","title":"Efficient Non-Parametric Optimizer Search for Diverse Tasks","created":"2022-09-27","cited_by_count":6,"area":null},{"id":"2305.08876","title":"Neurosymbolic AI and its Taxonomy: a survey","created":"2023-05-12","cited_by_count":6,"area":null},{"id":"2306.03460","title":"Natural Language Commanding via Program Synthesis","created":"2023-06-06","cited_by_count":6,"area":null},{"id":"2103.14452","title":"Robot Program Parameter Inference via Differentiable Shadow Program Inversion","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2210.14905","title":"RulE: Knowledge Graph Reasoning with Rule Embedding","created":"2022-10-24","cited_by_count":5,"area":null},{"id":"2308.05828","title":"DiLogics: Creating Web Automation Programs With Diverse Logics","created":"2023-08-10","cited_by_count":5,"area":null},{"id":"2502.12267","title":"NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS","created":"2025-02-17","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":"2407.11019","title":"Efficacy of Various Large Language Models in Generating Smart Contracts","created":"2024-06-28","cited_by_count":4,"area":null},{"id":"2104.08301","title":"Text2App: A Framework for Creating Android Apps from Text Descriptions","created":"2021-04-16","cited_by_count":3,"area":null},{"id":"2105.14038","title":"Learning to Extend Program Graphs to Work-in-Progress Code","created":"2021-05-28","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":"2408.00386","title":"What comes after transformers? -- A selective survey connecting ideas in deep learning","created":"2024-08-01","cited_by_count":3,"area":null},{"id":"2409.13551","title":"Contextualized Data-Wrangling Code Generation in Computational Notebooks","created":"2024-09-20","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":"2211.00828","title":"Synthesizing Programs with Continuous Optimization","created":"2022-11-02","cited_by_count":2,"area":null},{"id":"2211.08138","title":"Design of Unmanned Air Vehicles Using Transformer Surrogate Models","created":"2022-11-11","cited_by_count":2,"area":null},{"id":"2301.04857","title":"Neural Spline Search for Quantile Probabilistic Modeling","created":"2023-01-12","cited_by_count":2,"area":null},{"id":"2305.11087","title":"Lightweight Online Learning for Sets of Related Problems in Automated Reasoning","created":"2023-05-18","cited_by_count":2,"area":null},{"id":"2307.14193","title":"Efficient Learning of Discrete-Continuous Computation Graphs","created":"2023-07-26","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":"2407.06889","title":"A Neurosymbolic Approach to Adaptive Feature Extraction in SLAM","created":"2024-07-09","cited_by_count":1,"area":null},{"id":"2509.22151","title":"MultiMat: Multimodal Program Synthesis for Procedural Materials using Large Multimodal Models","created":"2025-09-26","cited_by_count":1,"area":"mllm"},{"id":"2604.17184","title":"SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair","created":"2026-04-19","cited_by_count":1,"area":null},{"id":"2110.14350","title":"Enhancing Reinforcement Learning with discrete interfaces to learn the Dyck Language","created":"2021-10-27","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":"2205.04545","title":"A Probabilistic Generative Model of Free Categories","created":"2022-05-09","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":"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":"2308.15003","title":"Generative Model for Models: Rapid DNN Customization for Diverse Tasks and Resource Constraints","created":"2023-08-29","cited_by_count":0,"area":null},{"id":"2311.03753","title":"COOL: A Constraint Object-Oriented Logic Programming Language and its Neural-Symbolic Compilation System","created":"2023-11-07","cited_by_count":0,"area":null},{"id":"2402.10051","title":"SwissNYF: Tool Grounded LLM Agents for Black Box Setting","created":"2024-02-15","cited_by_count":0,"area":"agents"},{"id":"2502.01806","title":"Toward Neurosymbolic Program Comprehension","created":"2025-02-03","cited_by_count":0,"area":null},{"id":"2503.12635","title":"Hybrid Learners Do Not Forget: A Brain-Inspired Neuro-Symbolic Approach to Continual Learning","created":"2025-03-16","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":"2605.10634","title":"Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies","created":"2026-05-11","cited_by_count":0,"area":null}],"next_cursor":null}