{"total":161,"rows":[{"id":"2108.07732","title":"Program Synthesis with Large Language Models","created":"2021-08-16","cited_by_count":3637,"area":null},{"id":"2305.16291","title":"Voyager: An Open-Ended Embodied Agent with Large Language Models","created":"2023-05-25","cited_by_count":2191,"area":"agents"},{"id":"2409.07429","title":"Agent Workflow Memory","created":"2024-09-11","cited_by_count":383,"area":"agents"},{"id":"2306.08647","title":"Language to Rewards for Robotic Skill Synthesis","created":"2023-06-14","cited_by_count":312,"area":"lr"},{"id":"2309.05660","title":"Hypothesis Search: Inductive Reasoning with Language Models","created":"2023-09-11","cited_by_count":120,"area":"lr"},{"id":"2306.12672","title":"From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought","created":"2023-06-22","cited_by_count":119,"area":"wm"},{"id":"2504.06821","title":"Inducing Programmatic Skills for Agentic Tasks","created":"2025-04-09","cited_by_count":111,"area":"agents"},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109,"area":null},{"id":"2402.12275","title":"WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment","created":"2024-02-19","cited_by_count":107,"area":"wm"},{"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":"2405.06624","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","created":"2024-05-10","cited_by_count":96,"area":"wm"},{"id":"2310.08559","title":"Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement","created":"2023-10-12","cited_by_count":89,"area":"lr"},{"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":"2305.18354","title":"LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations","created":"2023-05-26","cited_by_count":82,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"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":"2205.05718","title":"Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning tasks","created":"2022-05-11","cited_by_count":56,"area":"lr"},{"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":"2305.19555","title":"Large Language Models Are Not Strong Abstract Reasoners","created":"2023-05-31","cited_by_count":53,"area":"lr"},{"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":"2310.04276","title":"From task structures to world models: What do LLMs know?","created":"2023-10-06","cited_by_count":46,"area":"wm"},{"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":"2402.04858","title":"CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay","created":"2024-02-07","cited_by_count":23,"area":"lr"},{"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":"2311.04901","title":"GENOME: GenerativE Neuro-symbOlic visual reasoning by growing and reusing ModulEs","created":"2023-11-08","cited_by_count":18,"area":"lr"},{"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":"2605.05138","title":"Executable World Models for ARC-AGI-3 in the Era of Coding Agents","created":"2026-05-06","cited_by_count":14,"area":"wm"},{"id":"2305.18498","title":"ANPL: Towards Natural Programming with Interactive Decomposition","created":"2023-05-29","cited_by_count":13,"area":null},{"id":"2402.03507","title":"Neural networks for abstraction and reasoning: Towards broad generalization in machines","created":"2024-02-05","cited_by_count":13,"area":"lr"},{"id":"2410.14817","title":"A Complexity-Based Theory of Compositionality","created":"2024-10-18","cited_by_count":13,"area":null},{"id":"2507.13966","title":"Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need","created":"2025-07-18","cited_by_count":13,"area":"lr"},{"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":"2501.18623","title":"VLMaterial: Procedural Material Generation with Large Vision-Language Models","created":"2025-01-27","cited_by_count":9,"area":"mllm"},{"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":"2412.07322","title":"ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC)","created":"2024-12-10","cited_by_count":8,"area":"lr"},{"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":"2411.00230","title":"Reinforcement learning with learned gadgets to tackle hard quantum problems on real hardware","created":"2024-10-31","cited_by_count":7,"area":"deeprl"},{"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":"2511.18964","title":"Synthesizing Visual Concepts as Vision-Language Programs","created":"2025-11-24","cited_by_count":6,"area":"lr"},{"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":"2306.03175","title":"Infusing Lattice Symmetry Priors in Attention Mechanisms for Sample-Efficient Abstract Geometric Reasoning","created":"2023-06-05","cited_by_count":4,"area":"lr"},{"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":"2603.02193","title":"Symbol-Equivariant Recurrent Reasoning Models","created":"2026-03-02","cited_by_count":4,"area":"lr"},{"id":"2604.06107","title":"Artificial Intelligence and the Structure of Mathematics","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2607.12474","title":"From Observation to Insight: Mechanistic World Models and the Quest for Autonomous Discovery","created":"2026-07-14","cited_by_count":4,"area":"wm"},{"id":"2608.14490","title":"Twin: Playing an Unknown Game with a Test-Time Digital Twin","created":"2026-08-14","cited_by_count":4,"area":"wm"},{"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":"2511.15098","title":"A Comprehensive Study on Visual Token Redundancy for Discrete Diffusion-based Multimodal Large Language Models","created":"2025-11-19","cited_by_count":3,"area":"mllm"},{"id":"2511.20297","title":"Improving Language Agents through BREW: Bootstrapping expeRientially-learned Environmental knoWledge","created":"2025-11-25","cited_by_count":3,"area":"agents"},{"id":"2607.15439","title":"Do Coding Agents Need Executable World Models, Simplification, and Verification to Solve ARC-AGI-3?","created":"2026-07-16","cited_by_count":3,"area":"wm"}],"next_cursor":"100"}