{"total":113,"rows":[{"id":"2108.07732","title":"Program Synthesis with Large Language Models","created":"2021-08-16","cited_by_count":3637,"area":null},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109,"area":null},{"id":"2102.10717","title":"Abstraction and Analogy-Making in Artificial Intelligence","created":"2021-02-22","cited_by_count":103,"area":null},{"id":"2305.07141","title":"The ConceptARC Benchmark: Evaluating Understanding and Generalization in the ARC Domain","created":"2023-05-11","cited_by_count":101,"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":"2401.12869","title":"TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks","created":"2024-01-23","cited_by_count":75,"area":null},{"id":"2404.04326","title":"Hypothesis Generation with Large Language Models","created":"2024-04-05","cited_by_count":71,"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":"2211.16605","title":"Top-Down Synthesis for Library Learning","created":"2022-11-29","cited_by_count":58,"area":null},{"id":"2103.00180","title":"Incorporating Domain Knowledge into Deep Neural Networks","created":"2021-02-27","cited_by_count":56,"area":null},{"id":"2403.15452","title":"What Are Tools Anyway? A Survey from the Language Model Perspective","created":"2024-03-18","cited_by_count":54,"area":null},{"id":"2104.09621","title":"Engineering Sketch Generation for Computer-Aided Design","created":"2021-04-19","cited_by_count":49,"area":null},{"id":"2203.09634","title":"Predicate Invention for Bilevel Planning","created":"2022-03-17","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":"2301.10884","title":"Break It Down: Evidence for Structural Compositionality in Neural Networks","created":"2023-01-26","cited_by_count":44,"area":null},{"id":"2310.05327","title":"Provable Compositional Generalization for Object-Centric Learning","created":"2023-10-09","cited_by_count":41,"area":null},{"id":"2312.08566","title":"Learning adaptive planning representations with natural language guidance","created":"2023-12-13","cited_by_count":36,"area":null},{"id":"2106.07824","title":"Communicating Natural Programs to Humans and Machines","created":"2021-06-15","cited_by_count":35,"area":null},{"id":"2408.08313","title":"Can Large Language Models Understand Symbolic Graphics Programs?","created":"2024-08-15","cited_by_count":35,"area":null},{"id":"2402.13610","title":"Data-driven Discovery with Large Generative Models","created":"2024-02-21","cited_by_count":34,"area":null},{"id":"2103.05823","title":"Fast and flexible: Human program induction in abstract reasoning tasks","created":"2021-03-10","cited_by_count":33,"area":null},{"id":"2210.09880","title":"Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus","created":"2022-10-18","cited_by_count":32,"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":"2112.03321","title":"Noether Networks: Meta-Learning Useful Conserved Quantities","created":"2021-12-06","cited_by_count":26,"area":null},{"id":"2602.02919","title":"DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven Evolution","created":"2026-02-02","cited_by_count":26,"area":null},{"id":"2102.03406","title":"Symbolic Behaviour in Artificial Intelligence","created":"2021-02-05","cited_by_count":25,"area":null},{"id":"2212.09993","title":"Are Deep Neural Networks SMARTer than Second Graders?","created":"2022-12-20","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":"2301.12950","title":"Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs","created":"2023-01-30","cited_by_count":20,"area":null},{"id":"2109.08994","title":"ReaSCAN: Compositional Reasoning in Language Grounding","created":"2021-09-18","cited_by_count":19,"area":null},{"id":"2202.05839","title":"Abstraction for Deep Reinforcement Learning","created":"2022-02-10","cited_by_count":19,"area":null},{"id":"2502.05714","title":"Proving the Coding Interview: A Benchmark for Formally Verified Code Generation","created":"2025-02-08","cited_by_count":19,"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":"2307.13883","title":"ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis","created":"2023-07-26","cited_by_count":17,"area":null},{"id":"2107.00077","title":"Learning to communicate about shared procedural abstractions","created":"2021-06-30","cited_by_count":15,"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":"2305.18498","title":"ANPL: Towards Natural Programming with Interactive Decomposition","created":"2023-05-29","cited_by_count":13,"area":null},{"id":"2410.14817","title":"A Complexity-Based Theory of Compositionality","created":"2024-10-18","cited_by_count":13,"area":null},{"id":"2505.02216","title":"LLM-Guided Probabilistic Program Induction for POMDP Model Estimation","created":"2025-05-04","cited_by_count":12,"area":null},{"id":"2202.08806","title":"Grammar-Based Grounded Lexicon Learning","created":"2022-02-17","cited_by_count":11,"area":null},{"id":"2603.19329","title":"Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification","created":"2026-03-18","cited_by_count":11,"area":null},{"id":"2303.00732","title":"R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents","created":"2023-03-01","cited_by_count":10,"area":null},{"id":"2505.06191","title":"Building Intelligent Agents with Neuro-Symbolic Concepts","created":"2025-05-09","cited_by_count":10,"area":null},{"id":"2203.11194","title":"Test-time Adaptation with Slot-Centric Models","created":"2022-03-21","cited_by_count":9,"area":null},{"id":"2402.17032","title":"REFACTOR: Learning to Extract Theorems from Proofs","created":"2024-02-26","cited_by_count":9,"area":null},{"id":"2510.12066","title":"AI Agents as Universal Task Solvers","created":"2025-10-14","cited_by_count":9,"area":null},{"id":"2107.13132","title":"Unsupervised Learning of Neurosymbolic Encoders","created":"2021-07-28","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":"2205.05666","title":"Identifying concept libraries from language about object structure","created":"2022-05-11","cited_by_count":8,"area":null},{"id":"2510.01685","title":"How Do Language Models Compose Functions?","created":"2025-10-02","cited_by_count":8,"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":"2505.16477","title":"Advancing the Scientific Method with Large Language Models: From Hypothesis to Discovery","created":"2025-05-22","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":"2204.03758","title":"Compositional Generalization and Decomposition in Neural Program Synthesis","created":"2022-04-07","cited_by_count":6,"area":null},{"id":"2202.01682","title":"How to build a cognitive map: insights from models of the hippocampal formation","created":"2022-02-03","cited_by_count":5,"area":null},{"id":"2405.05431","title":"Searching for Programmatic Policies in Semantic Spaces","created":"2024-05-08","cited_by_count":5,"area":null},{"id":"2503.13992","title":"The KoLMogorov Test: Compression by Code Generation","created":"2025-03-18","cited_by_count":5,"area":null},{"id":"2104.06392","title":"ShapeMOD: Macro Operation Discovery for 3D Shape Programs","created":"2021-04-13","cited_by_count":4,"area":null},{"id":"2401.06005","title":"How does the primate brain combine generative and discriminative computations in vision?","created":"2024-01-11","cited_by_count":4,"area":null},{"id":"2411.00264","title":"TurtleBench: A Visual Programming Benchmark in Turtle Geometry","created":"2024-10-31","cited_by_count":4,"area":null},{"id":"2604.06107","title":"Artificial Intelligence and the Structure of Mathematics","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2107.06393","title":"Hybrid Memoised Wake-Sleep: Approximate Inference at the Discrete-Continuous Interface","created":"2021-07-04","cited_by_count":3,"area":null},{"id":"2201.10222","title":"Explanatory Learning: Beyond Empiricism in Neural Networks","created":"2022-01-25","cited_by_count":3,"area":null},{"id":"2211.11033","title":"On the Complexity of Bayesian Generalization","created":"2022-11-20","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":"2401.12131","title":"NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis","created":"2024-01-22","cited_by_count":3,"area":null},{"id":"2506.01820","title":"Fodor and Pylyshyn's Legacy: Still No Human-like Systematic Compositionality in Neural Networks","created":"2025-06-02","cited_by_count":3,"area":null},{"id":"2510.08755","title":"Robust Heuristic Algorithm Design with LLMs","created":"2025-10-09","cited_by_count":3,"area":null},{"id":"2106.07369","title":"A Self-Supervised Framework for Function Learning and Extrapolation","created":"2021-06-14","cited_by_count":2,"area":null},{"id":"2107.07373","title":"A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis","created":"2021-07-15","cited_by_count":2,"area":null},{"id":"2109.12075","title":"Towards A Measure Of General Machine Intelligence","created":"2021-09-24","cited_by_count":2,"area":null},{"id":"2201.05773","title":"Automated causal inference in application to randomized controlled clinical trials","created":"2022-01-15","cited_by_count":2,"area":null},{"id":"2205.10044","title":"Towards biologically plausible Dreaming and Planning in recurrent spiking networks","created":"2022-05-20","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":"2310.01807","title":"Discrete, compositional, and symbolic representations through attractor dynamics","created":"2023-10-03","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":"2410.12166","title":"Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces","created":"2024-10-16","cited_by_count":2,"area":null},{"id":"2507.22069","title":"A Compute-Matched Re-Evaluation of TroVE on MATH","created":"2025-07-16","cited_by_count":2,"area":null},{"id":"2511.14778","title":"Learning Interestingness in Automated Mathematical Theory Formation","created":"2025-11-05","cited_by_count":2,"area":null},{"id":"2605.03413","title":"Learning to Theorize the World from Observation","created":"2026-05-05","cited_by_count":2,"area":null},{"id":"2606.16988","title":"Agent trajectories as programs: fingerprinting and programming coding-agent behavior","created":"2026-06-15","cited_by_count":2,"area":null},{"id":"2210.11468","title":"ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications","created":"2022-10-20","cited_by_count":1,"area":null},{"id":"2303.07146","title":"NeuroQL: A Neuro-Symbolic Language and Dataset for Inter-Subjective Reasoning","created":"2023-03-13","cited_by_count":1,"area":null},{"id":"2304.12895","title":"Discovering Graph Generation Algorithms","created":"2023-04-25","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":"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":"2403.16824","title":"On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies","created":"2024-03-25","cited_by_count":1,"area":null},{"id":"2407.02060","title":"Terminating Differentiable Tree Experts","created":"2024-07-02","cited_by_count":1,"area":null},{"id":"2507.16511","title":"Analogy making as amortised model construction","created":"2025-07-22","cited_by_count":1,"area":null},{"id":"2509.00074","title":"Language and Experience: A Computational Model of Social Learning in Complex Tasks","created":"2025-08-26","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":"2603.23244","title":"Online library learning in human visual puzzle solving","created":"2026-03-24","cited_by_count":1,"area":null},{"id":"2603.28386","title":"COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game","created":"2026-03-30","cited_by_count":1,"area":null},{"id":"2608.14944","title":"SkillComposer: Learning Reusable Skills for Natural-Language Robot Programming","created":"2026-08-14","cited_by_count":1,"area":null},{"id":"2107.10295","title":"A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks","created":"2021-07-21","cited_by_count":0,"area":null},{"id":"2109.08214","title":"Procedures as Programs: Hierarchical Control of Situated Agents through Natural Language","created":"2021-09-16","cited_by_count":0,"area":null},{"id":"2112.04630","title":"Towards Neural Functional Program Evaluation","created":"2021-12-09","cited_by_count":0,"area":null}],"next_cursor":"100"}