{"total":27,"rows":[{"id":"2409.09359","title":"Symbolic Regression with a Learned Concept Library","created":"2024-09-14","cited_by_count":83,"area":null},{"id":"2211.16605","title":"Top-Down Synthesis for Library Learning","created":"2022-11-29","cited_by_count":58,"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":"2308.12595","title":"Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation","created":"2023-08-24","cited_by_count":29,"area":null},{"id":"2304.13826","title":"Programmatically Grounded, Compositionally Generalizable Robotic Manipulation","created":"2023-04-26","cited_by_count":26,"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":"2211.01842","title":"Construction of Hierarchical Neural Architecture Search Spaces based on Context-free Grammars","created":"2022-11-03","cited_by_count":9,"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":"2107.13132","title":"Unsupervised Learning of Neurosymbolic Encoders","created":"2021-07-28","cited_by_count":8,"area":null},{"id":"2210.05050","title":"Neurosymbolic Programming for Science","created":"2022-10-10","cited_by_count":7,"area":null},{"id":"2310.03585","title":"Smoothing Methods for Automatic Differentiation Across Conditional Branches","created":"2023-10-05","cited_by_count":7,"area":null},{"id":"2406.17224","title":"Large Language Models are Interpretable Learners","created":"2024-06-25","cited_by_count":7,"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":"2209.13575","title":"Efficient Non-Parametric Optimizer Search for Diverse Tasks","created":"2022-09-27","cited_by_count":6,"area":null},{"id":"2405.15912","title":"Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction","created":"2024-05-24","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":"2106.06114","title":"Interpreting Expert Annotation Differences in Animal Behavior","created":"2021-06-11","cited_by_count":1,"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":"2605.03101","title":"Programmatic Context Augmentation for LLM-based Symbolic Regression","created":"2026-05-04","cited_by_count":1,"area":null},{"id":"2110.05390","title":"Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching","created":"2021-10-11","cited_by_count":0,"area":null},{"id":"2208.12789","title":"Learning and Compositionality: a Unification Attempt via Connectionist Probabilistic Programming","created":"2022-08-26","cited_by_count":0,"area":null},{"id":"2604.20744","title":"AAC: Admissible-by-Architecture Differentiable Landmark Compression for ALT","created":"2026-04-22","cited_by_count":0,"area":null},{"id":"2604.26521","title":"Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems","created":"2026-04-29","cited_by_count":0,"area":null},{"id":"2606.09930","title":"Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter","created":"2026-06-07","cited_by_count":0,"area":null},{"id":"2606.11946","title":"Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data","created":"2026-06-10","cited_by_count":0,"area":null},{"id":"2607.03574","title":"Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning","created":"2026-07-03","cited_by_count":0,"area":null}],"next_cursor":null}