{"total":30,"rows":[{"id":"2108.13643","title":"Learning to Synthesize Programs as Interpretable and Generalizable Policies","created":"2021-08-31","cited_by_count":59,"area":null},{"id":"2106.12574","title":"DeepStochLog: Neural Stochastic Logic Programming","created":"2021-06-23","cited_by_count":58,"area":null},{"id":"2201.11250","title":"Neuro-Symbolic Entropy Regularization","created":"2022-01-25","cited_by_count":27,"area":null},{"id":"2207.07730","title":"How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition","created":"2022-07-15","cited_by_count":27,"area":null},{"id":"2312.03905","title":"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints","created":"2023-12-06","cited_by_count":22,"area":null},{"id":"2302.14207","title":"Semantic Strengthening of Neuro-Symbolic Learning","created":"2023-02-28","cited_by_count":12,"area":null},{"id":"2203.03771","title":"Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions","created":"2022-03-07","cited_by_count":11,"area":null},{"id":"2311.02104","title":"Efficient Symbolic Policy Learning with Differentiable Symbolic Expression","created":"2023-11-02","cited_by_count":10,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2303.06018","title":"Hierarchical Neural Program Synthesis","created":"2023-03-09","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":"2103.14452","title":"Robot Program Parameter Inference via Differentiable Shadow Program Inversion","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2306.00751","title":"Differentiable Tree Operations Promote Compositional Generalization","created":"2023-06-01","cited_by_count":5,"area":null},{"id":"2102.13195","title":"Reinforcement Learning of Implicit and Explicit Control Flow in Instructions","created":"2021-02-25","cited_by_count":4,"area":null},{"id":"2504.20020","title":"Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models","created":"2025-04-28","cited_by_count":4,"area":null},{"id":"2305.13504","title":"Neural Machine Translation for Code Generation","created":"2023-05-22","cited_by_count":3,"area":null},{"id":"2405.07387","title":"Semantic Loss Functions for Neuro-Symbolic Structured Prediction","created":"2024-05-12","cited_by_count":3,"area":null},{"id":"2511.13769","title":"Compiling to linear neurons","created":"2025-11-14","cited_by_count":2,"area":null},{"id":"2104.00755","title":"Reconciling the Discrete-Continuous Divide: Towards a Mathematical Theory of Sparse Communication","created":"2021-04-01","cited_by_count":1,"area":null},{"id":"2105.00357","title":"RotLSTM: Rotating Memories in Recurrent Neural Networks","created":"2021-05-01","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":"2101.06573","title":"Understanding in Artificial Intelligence","created":"2021-01-17","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},{"id":"2303.00752","title":"Safety without alignment","created":"2023-02-27","cited_by_count":0,"area":null},{"id":"2502.01806","title":"Toward Neurosymbolic Program Comprehension","created":"2025-02-03","cited_by_count":0,"area":null},{"id":"2503.18509","title":"Neuro-symbolic Weak Supervision: Theory and Semantics","created":"2025-03-24","cited_by_count":0,"area":null},{"id":"2506.14936","title":"CALM: Contextual Analog Logic with Multimodality","created":"2025-06-17","cited_by_count":0,"area":null},{"id":"2511.14953","title":"Compiling to recurrent neurons","created":"2025-11-18","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}