{"total":42,"rows":[{"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":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"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":"2310.19791","title":"LILO: Learning Interpretable Libraries by Compressing and Documenting Code","created":"2023-10-30","cited_by_count":49,"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":"2401.16467","title":"ReGAL: Refactoring Programs to Discover Generalizable Abstractions","created":"2024-01-29","cited_by_count":36,"area":null},{"id":"2305.05661","title":"ShapeCoder: Discovering Abstractions for Visual Programs from Unstructured Primitives","created":"2023-05-09","cited_by_count":23,"area":null},{"id":"2309.14972","title":"Improving Unsupervised Visual Program Inference with Code Rewriting Families","created":"2023-09-26","cited_by_count":10,"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":"2402.17032","title":"REFACTOR: Learning to Extract Theorems from Proofs","created":"2024-02-26","cited_by_count":9,"area":null},{"id":"2302.00277","title":"Anti-unification and Generalization: A Survey","created":"2023-02-01","cited_by_count":7,"area":null},{"id":"2607.00871","title":"Self-Evolving Agents with Anytime-Valid Certificates","created":"2026-07-01","cited_by_count":6,"area":null},{"id":"2309.03651","title":"Learning of Generalizable and Interpretable Knowledge in Grid-Based Reinforcement Learning Environments","created":"2023-09-07","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":"2405.06906","title":"Finding structure in logographic writing with library learning","created":"2024-05-11","cited_by_count":5,"area":null},{"id":"2506.19865","title":"Scalable and Cost-Efficient de Novo Template-Based Molecular Generation","created":"2025-06-10","cited_by_count":5,"area":null},{"id":"2506.11058","title":"Refactoring Codebases through Library Design","created":"2025-05-26","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":"2306.07856","title":"Bayesian Program Learning by Decompiling Amortized Knowledge","created":"2023-06-13","cited_by_count":2,"area":null},{"id":"2405.17514","title":"AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning","created":"2024-05-27","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":"2507.22069","title":"A Compute-Matched Re-Evaluation of TroVE on MATH","created":"2025-07-16","cited_by_count":2,"area":null},{"id":"2507.22255","title":"Agent-centric learning: from external reward maximization to internal knowledge curation","created":"2025-07-29","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":"2606.15386","title":"A Compositional Framework for Open-ended Intelligence","created":"2026-06-13","cited_by_count":2,"area":null},{"id":"2308.08334","title":"Learning logic programs by discovering higher-order abstractions","created":"2023-08-16","cited_by_count":1,"area":null},{"id":"2311.15500","title":"Function-constrained Program Synthesis","created":"2023-11-27","cited_by_count":1,"area":null},{"id":"2407.01567","title":"MeMo: Meaningful, Modular Controllers via Noise Injection","created":"2024-05-24","cited_by_count":1,"area":null},{"id":"2408.11530","title":"Scalable Knowledge Refactoring using Constrained Optimisation","created":"2024-08-21","cited_by_count":1,"area":null},{"id":"2409.20120","title":"PACE: Procedural Abstractions for Communicating Efficiently","created":"2024-09-30","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":"2603.23244","title":"Online library learning in human visual puzzle solving","created":"2026-03-24","cited_by_count":1,"area":null},{"id":"2606.20623","title":"Path-dependent program induction under resource constraints explains human sequence learning","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2607.09560","title":"Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI","created":"2026-07-10","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":"2303.03340","title":"Symbolic Synthesis of Neural Networks","created":"2023-03-06","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":"2506.14162","title":"Common Benchmarks Undervalue the Generalization Power of Programmatic Policies","created":"2025-06-17","cited_by_count":0,"area":null},{"id":"2603.06849","title":"Twitch: Learning Abstractions for Equational Theorem Proving","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2605.09985","title":"Prospective Compression in Human Abstraction Learning","created":"2026-05-11","cited_by_count":0,"area":null},{"id":"2610.19414","title":"Recursive Formation and First-Class Reuse of Compositional Capabilities","created":"2026-10-14","cited_by_count":0,"area":null}],"next_cursor":null}