{"total":196,"rows":[{"id":"2202.01361","title":"Generative Flow Networks for Discrete Probabilistic Modeling","created":"2022-02-03","cited_by_count":114,"area":null},{"id":"2305.19951","title":"Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts","created":"2023-05-31","cited_by_count":63,"area":null},{"id":"2503.23077","title":"Efficient Inference for Large Reasoning Models: A Survey","created":"2025-03-29","cited_by_count":61,"area":"lr"},{"id":"2103.00180","title":"Incorporating Domain Knowledge into Deep Neural Networks","created":"2021-02-27","cited_by_count":56,"area":null},{"id":"2109.11427","title":"Automated Fact-Checking: A Survey","created":"2021-09-23","cited_by_count":55,"area":null},{"id":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54,"area":null},{"id":"2105.03659","title":"Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text","created":"2021-05-08","cited_by_count":46,"area":null},{"id":"2201.11473","title":"Reasoning Like Program Executors","created":"2022-01-27","cited_by_count":45,"area":"lr"},{"id":"2203.10316","title":"Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction","created":"2022-03-19","cited_by_count":44,"area":"lr"},{"id":"2108.00648","title":"From LSAT: The Progress and Challenges of Complex Reasoning","created":"2021-08-02","cited_by_count":43,"area":null},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"id":"2202.12205","title":"Is Neuro-Symbolic AI Meeting its Promise in Natural Language Processing? A Structured Review","created":"2022-02-24","cited_by_count":38,"area":"lr"},{"id":"2201.12382","title":"Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matrices","created":"2022-01-28","cited_by_count":37,"area":"lr"},{"id":"2402.12240","title":"BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts","created":"2024-02-19","cited_by_count":37,"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":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"id":"2505.18237","title":"Think or Not? Exploring Thinking Efficiency in Large Reasoning Models via an Information-Theoretic Lens","created":"2025-05-23","cited_by_count":34,"area":"lr"},{"id":"2202.10284","title":"A Review of Emerging Research Directions in Abstract Visual Reasoning","created":"2022-02-21","cited_by_count":33,"area":"lr"},{"id":"2202.04178","title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","created":"2022-02-07","cited_by_count":31,"area":"lr"},{"id":"2104.11914","title":"EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case","created":"2021-04-24","cited_by_count":30,"area":null},{"id":"2409.13724","title":"Logically Consistent Language Models via Neuro-Symbolic Integration","created":"2024-09-09","cited_by_count":30,"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":"2303.04660","title":"Neural Probabilistic Logic Programming in Discrete-Continuous Domains","created":"2023-03-08","cited_by_count":25,"area":null},{"id":"2309.01038","title":"Neurosymbolic Reinforcement Learning and Planning: A Survey","created":"2023-09-02","cited_by_count":24,"area":null},{"id":"2401.01040","title":"Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI","created":"2024-01-02","cited_by_count":24,"area":null},{"id":"2110.00804","title":"ProTo: Program-Guided Transformer for Program-Guided Tasks","created":"2021-10-02","cited_by_count":21,"area":null},{"id":"2208.11561","title":"Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions","created":"2022-08-24","cited_by_count":21,"area":"lr"},{"id":"2406.10368","title":"A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts","created":"2024-06-14","cited_by_count":19,"area":null},{"id":"2102.11529","title":"Differentiable Logic Machines","created":"2021-02-23","cited_by_count":18,"area":null},{"id":"2407.15527","title":"Interpretable Concept-Based Memory Reasoning","created":"2024-07-22","cited_by_count":17,"area":null},{"id":"2402.00854","title":"SymbolicAI: A framework for logic-based approaches combining generative models and solvers","created":"2024-02-01","cited_by_count":16,"area":null},{"id":"2403.00323","title":"Softened Symbol Grounding for Neuro-symbolic Systems","created":"2024-03-01","cited_by_count":16,"area":null},{"id":"2406.16087","title":"Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy","created":"2024-06-23","cited_by_count":16,"area":"offlinerl"},{"id":"2106.13103","title":"FF-NSL: Feed-Forward Neural-Symbolic Learner","created":"2021-06-24","cited_by_count":15,"area":null},{"id":"2103.07011","title":"Towards Socially Intelligent Agents with Mental State Transition and Human Utility","created":"2021-03-12","cited_by_count":14,"area":null},{"id":"2311.12569","title":"Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick","created":"2023-11-21","cited_by_count":14,"area":null},{"id":"2205.12735","title":"Neuro-Symbolic Learning of Answer Set Programs from Raw Data","created":"2022-05-25","cited_by_count":12,"area":null},{"id":"2307.04347","title":"Injecting Logical Constraints into Neural Networks via Straight-Through Estimators","created":"2023-07-10","cited_by_count":12,"area":null},{"id":"2402.01889","title":"The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning","created":"2024-02-02","cited_by_count":12,"area":"lr"},{"id":"2212.02710","title":"Beyond Object Recognition: A New Benchmark towards Object Concept Learning","created":"2022-12-06","cited_by_count":11,"area":null},{"id":"2503.19466","title":"A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction","created":"2025-03-25","cited_by_count":11,"area":null},{"id":"2107.01877","title":"Faster-LTN: a neuro-symbolic, end-to-end object detection architecture","created":"2021-07-05","cited_by_count":10,"area":null},{"id":"2212.00017","title":"Knowledge-augmented Deep Learning and Its Applications: A Survey","created":"2022-11-30","cited_by_count":10,"area":null},{"id":"2307.05350","title":"Dividing and Conquering a BlackBox to a Mixture of Interpretable Models: Route, Interpret, Repeat","created":"2023-07-07","cited_by_count":10,"area":null},{"id":"2308.03312","title":"Exploiting Code Symmetries for Learning Program Semantics","created":"2023-08-07","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":"2402.03785","title":"Weakly Supervised Anomaly Detection via Knowledge-Data Alignment","created":"2024-02-06","cited_by_count":10,"area":null},{"id":"2605.18601","title":"Incantation: Natural Language as the Action Interface for Multi-Entity Video World Models","created":"2026-05-18","cited_by_count":10,"area":"wm"},{"id":"2106.07487","title":"pix2rule: End-to-end Neuro-symbolic Rule Learning","created":"2021-06-14","cited_by_count":9,"area":null},{"id":"2202.02942","title":"Tractable Boolean and Arithmetic Circuits","created":"2022-02-07","cited_by_count":9,"area":null},{"id":"2403.11348","title":"COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits","created":"2024-03-17","cited_by_count":9,"area":null},{"id":"2304.11357","title":"Learning Symbolic Representations Through Joint GEnerative and DIscriminative Training","created":"2023-04-22","cited_by_count":8,"area":null},{"id":"2308.01979","title":"RealCQA: Scientific Chart Question Answering as a Test-bed for First-Order Logic","created":"2023-08-03","cited_by_count":8,"area":null},{"id":"2408.08622","title":"DeepDFA: Automata Learning through Neural Probabilistic Relaxations","created":"2024-08-16","cited_by_count":8,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2205.06454","title":"R5: Rule Discovery with Reinforced and Recurrent Relational Reasoning","created":"2022-05-13","cited_by_count":7,"area":null},{"id":"2408.09224","title":"Neuro-Symbolic AI for Military Applications","created":"2024-08-17","cited_by_count":7,"area":null},{"id":"2501.14836","title":"Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review","created":"2025-01-23","cited_by_count":7,"area":null},{"id":"2509.00834","title":"Neuro-Symbolic Predictive Process Monitoring","created":"2025-08-31","cited_by_count":7,"area":null},{"id":"2105.10709","title":"Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment","created":"2021-05-22","cited_by_count":6,"area":null},{"id":"2408.08133","title":"EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic","created":"2024-08-15","cited_by_count":6,"area":null},{"id":"2411.12671","title":"Neurosymbolic Graph Enrichment for Grounded World Models","created":"2024-11-19","cited_by_count":6,"area":"wm"},{"id":"2411.18564","title":"Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs","created":"2024-11-27","cited_by_count":6,"area":"lr"},{"id":"2505.19825","title":"Position: Foundation Models for Tabular Data within Systemic Contexts Need Grounding","created":"2025-05-26","cited_by_count":6,"area":null},{"id":"2303.15113","title":"Describing and Organizing Semantic Web and Machine Learning Systems in the SWeMLS-KG","created":"2023-03-27","cited_by_count":5,"area":null},{"id":"2401.09742","title":"Image Translation as Diffusion Visual Programmers","created":"2024-01-18","cited_by_count":5,"area":null},{"id":"2403.17853","title":"Using Domain Knowledge to Guide Dialog Structure Induction via Neural Probabilistic Soft Logic","created":"2024-03-26","cited_by_count":5,"area":null},{"id":"2405.02350","title":"What makes Models Compositional? A Theoretical View: With Supplement","created":"2024-05-02","cited_by_count":5,"area":null},{"id":"2405.16396","title":"Machine learning in business process management: A systematic literature review","created":"2024-05-26","cited_by_count":5,"area":null},{"id":"2408.05861","title":"Temporal Knowledge-Graph Memory in a Partially Observable Environment","created":"2024-08-11","cited_by_count":5,"area":null},{"id":"2412.14076","title":"Compositional Generalization Across Distributional Shifts with Sparse Tree Operations","created":"2024-12-18","cited_by_count":5,"area":null},{"id":"2503.18213","title":"A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives","created":"2025-03-23","cited_by_count":5,"area":null},{"id":"2104.06365","title":"Neuro-Symbolic VQA: A review from the perspective of AGI desiderata","created":"2021-04-13","cited_by_count":4,"area":null},{"id":"2105.10334","title":"Fact-driven Logical Reasoning for Machine Reading Comprehension","created":"2021-05-21","cited_by_count":4,"area":null},{"id":"2106.09225","title":"On the Capabilities of Pointer Networks for Deep Deductive Reasoning","created":"2021-06-17","cited_by_count":4,"area":null},{"id":"2206.07196","title":"Towards a Solution to Bongard Problems: A Causal Approach","created":"2022-06-14","cited_by_count":4,"area":null},{"id":"2308.03117","title":"PromptSum: Parameter-Efficient Controllable Abstractive Summarization","created":"2023-08-06","cited_by_count":4,"area":null},{"id":"2311.00393","title":"Augmenting deep neural networks with symbolic knowledge: Towards trustworthy and interpretable AI for education","created":"2023-11-01","cited_by_count":4,"area":null},{"id":"2407.19666","title":"Take A Step Back: Rethinking the Two Stages in Visual Reasoning","created":"2024-07-29","cited_by_count":4,"area":"lr"},{"id":"2602.24111","title":"Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification","created":"2026-02-27","cited_by_count":4,"area":"lr"},{"id":"2101.09571","title":"BF++: a language for general-purpose program synthesis","created":"2021-01-23","cited_by_count":3,"area":null},{"id":"2201.06230","title":"Generalizable Neuro-symbolic Systems for Commonsense Question Answering","created":"2022-01-17","cited_by_count":3,"area":null},{"id":"2205.15762","title":"Knowledge Enhanced Neural Networks for relational domains","created":"2022-05-31","cited_by_count":3,"area":null},{"id":"2207.00433","title":"PROTOtypical Logic Tensor Networks (PROTO-LTN) for Zero Shot Learning","created":"2022-06-26","cited_by_count":3,"area":null},{"id":"2307.16663","title":"Word Sense Disambiguation as a Game of Neurosymbolic Darts","created":"2023-07-25","cited_by_count":3,"area":null},{"id":"2311.17892","title":"A Pipeline For Discourse Circuits From CCG","created":"2023-11-29","cited_by_count":3,"area":null},{"id":"2312.11651","title":"Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)","created":"2023-12-18","cited_by_count":3,"area":"lr"},{"id":"2405.14389","title":"stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic","created":"2024-05-23","cited_by_count":3,"area":null},{"id":"2504.00615","title":"Towards Responsible and Trustworthy Educational Data Mining: Comparing Symbolic, Sub-Symbolic, and Neural-Symbolic AI Methods","created":"2025-04-01","cited_by_count":3,"area":null},{"id":"2504.16148","title":"Towards responsible AI for education: Hybrid human-AI to confront the Elephant in the room","created":"2025-04-22","cited_by_count":3,"area":null},{"id":"2505.11694","title":"Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory","created":"2025-05-16","cited_by_count":3,"area":null},{"id":"2509.08592","title":"Interpretability as Alignment: Making Internal Understanding a Design Principle","created":"2025-09-10","cited_by_count":3,"area":null},{"id":"2608.19701","title":"Beyond Memory Majority: Latent-Source Reasoning for Multi-Agent Memory Arbitration","created":"2026-08-20","cited_by_count":3,"area":null},{"id":"2109.08006","title":"Deep Algorithmic Question Answering: Towards a Compositionally Hybrid AI for Algorithmic Reasoning","created":"2021-09-16","cited_by_count":2,"area":null},{"id":"2204.00624","title":"Explainable and Interpretable Diabetic Retinopathy Classification Based on Neural-Symbolic Learning","created":"2022-04-01","cited_by_count":2,"area":null},{"id":"2302.10289","title":"Tackling Shortcut Learning in Deep Neural Networks: An Iterative Approach with Interpretable Models","created":"2023-02-20","cited_by_count":2,"area":null},{"id":"2304.09276","title":"Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming","created":"2023-04-18","cited_by_count":2,"area":null},{"id":"2304.10590","title":"A Review of Symbolic, Subsymbolic and Hybrid Methods for Sequential Decision Making","created":"2023-04-20","cited_by_count":2,"area":null},{"id":"2310.03325","title":"Learning Concept-Based Causal Transition and Symbolic Reasoning for Visual Planning","created":"2023-10-05","cited_by_count":2,"area":"lr"},{"id":"2402.14047","title":"Simple and Effective Transfer Learning for Neuro-Symbolic Integration","created":"2024-02-21","cited_by_count":2,"area":null}],"next_cursor":"100"}