{"total":287,"rows":[{"id":"2206.00426","title":"Semantic Probabilistic Layers for Neuro-Symbolic Learning","created":"2022-06-01","cited_by_count":103,"area":null},{"id":"2307.07700","title":"NeurASP: Embracing Neural Networks into Answer Set Programming","created":"2023-07-15","cited_by_count":92,"area":null},{"id":"2108.11451","title":"From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey","created":"2021-08-25","cited_by_count":72,"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":"2106.12574","title":"DeepStochLog: Neural Stochastic Logic Programming","created":"2021-06-23","cited_by_count":58,"area":null},{"id":"2304.14068","title":"Interpretable Neural-Symbolic Concept Reasoning","created":"2023-04-27","cited_by_count":57,"area":null},{"id":"2103.00180","title":"Incorporating Domain Knowledge into Deep Neural Networks","created":"2021-02-27","cited_by_count":56,"area":null},{"id":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54,"area":null},{"id":"2111.01564","title":"MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks","created":"2021-11-02","cited_by_count":44,"area":null},{"id":"2205.00523","title":"Deep Learning with Logical Constraints","created":"2022-05-01","cited_by_count":44,"area":null},{"id":"2102.11965","title":"Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases","created":"2021-02-23","cited_by_count":39,"area":null},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"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":"2112.03324","title":"Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks","created":"2021-12-06","cited_by_count":36,"area":null},{"id":"2406.11179","title":"Learning Iterative Reasoning through Energy Diffusion","created":"2024-06-17","cited_by_count":36,"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":"2210.01941","title":"SIMPLE: A Gradient Estimator for $k$-Subset Sampling","created":"2022-10-04","cited_by_count":34,"area":null},{"id":"2302.01242","title":"Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal","created":"2023-02-02","cited_by_count":33,"area":null},{"id":"2410.10807","title":"HardNet: Hard-Constrained Neural Networks with Universal Approximation Guarantees","created":"2024-10-14","cited_by_count":31,"area":null},{"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":"2402.04823","title":"How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data","created":"2024-02-07","cited_by_count":29,"area":null},{"id":"2111.12990","title":"Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning","created":"2021-11-25","cited_by_count":27,"area":null},{"id":"2201.11250","title":"Neuro-Symbolic Entropy Regularization","created":"2022-01-25","cited_by_count":27,"area":null},{"id":"2103.01719","title":"Differentiable Inductive Logic Programming for Structured Examples","created":"2021-03-02","cited_by_count":26,"area":null},{"id":"2106.11072","title":"Techniques for Symbol Grounding with SATNet","created":"2021-06-16","cited_by_count":24,"area":null},{"id":"2112.13418","title":"Neuro-Symbolic Hierarchical Rule Induction","created":"2021-12-26","cited_by_count":23,"area":null},{"id":"2406.00766","title":"Scaling Tractable Probabilistic Circuits: A Systems Perspective","created":"2024-06-02","cited_by_count":23,"area":null},{"id":"2309.07742","title":"Interpretability is in the Mind of the Beholder: A Causal Framework for Human-interpretable Representation Learning","created":"2023-09-14","cited_by_count":22,"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":"2402.12309","title":"TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs","created":"2024-02-19","cited_by_count":22,"area":null},{"id":"2505.05522","title":"Continuous Thought Machines","created":"2025-05-08","cited_by_count":22,"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":"2307.04895","title":"Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer","created":"2023-07-10","cited_by_count":21,"area":null},{"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":"2404.08458","title":"On the Independence Assumption in Neurosymbolic Learning","created":"2024-04-12","cited_by_count":18,"area":null},{"id":"2502.18237","title":"Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints","created":"2025-02-25","cited_by_count":18,"area":null},{"id":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2407.15527","title":"Interpretable Concept-Based Memory Reasoning","created":"2024-07-22","cited_by_count":17,"area":null},{"id":"2110.09383","title":"Neuro-Symbolic Forward Reasoning","created":"2021-10-18","cited_by_count":16,"area":null},{"id":"2305.05964","title":"Interpretable Multimodal Misinformation Detection with Logic Reasoning","created":"2023-05-10","cited_by_count":16,"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":"2410.11415","title":"KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI","created":"2024-10-15","cited_by_count":16,"area":null},{"id":"2106.13103","title":"FF-NSL: Feed-Forward Neural-Symbolic Learner","created":"2021-06-24","cited_by_count":15,"area":null},{"id":"2308.11991","title":"Relational Concept Bottleneck Models","created":"2023-08-23","cited_by_count":15,"area":null},{"id":"2205.07548","title":"A Neuro-Symbolic ASP Pipeline for Visual Question Answering","created":"2022-05-16","cited_by_count":14,"area":null},{"id":"2306.08397","title":"Scalable Neural-Probabilistic Answer Set Programming","created":"2023-06-14","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":"2304.07647","title":"LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision","created":"2023-04-15","cited_by_count":13,"area":null},{"id":"2306.13796","title":"On Learning Latent Models with Multi-Instance Weak Supervision","created":"2023-06-23","cited_by_count":13,"area":null},{"id":"2307.03577","title":"CuTS: Customizable Tabular Synthetic Data Generation","created":"2023-07-07","cited_by_count":13,"area":null},{"id":"2502.11245","title":"Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens","created":"2025-02-16","cited_by_count":13,"area":null},{"id":"2108.12370","title":"DomiKnowS: A Library for Integration of Symbolic Domain Knowledge in Deep Learning","created":"2021-08-27","cited_by_count":12,"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":"2209.14974","title":"Greybox XAI: a Neural-Symbolic learning framework to produce interpretable predictions for image classification","created":"2022-09-26","cited_by_count":12,"area":null},{"id":"2302.14207","title":"Semantic Strengthening of Neuro-Symbolic Learning","created":"2023-02-28","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":"2103.17232","title":"Neuro-Symbolic Constraint Programming for Structured Prediction","created":"2021-03-31","cited_by_count":11,"area":null},{"id":"2206.04976","title":"Refining neural network predictions using background knowledge","created":"2022-06-10","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":"2504.13822","title":"Parameter-Efficient Continual Fine-Tuning: A Survey","created":"2025-04-18","cited_by_count":11,"area":null},{"id":"2312.11522","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","created":"2023-12-13","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":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"area":null},{"id":"2412.05481","title":"A Compositional Atlas for Algebraic Circuits","created":"2024-12-07","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":"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":"2302.10914","title":"GLUECons: A Generic Benchmark for Learning Under Constraints","created":"2023-02-16","cited_by_count":9,"area":null},{"id":"2311.13718","title":"A Unified Approach to Count-Based Weakly-Supervised Learning","created":"2023-11-22","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":"2405.00532","title":"ULLER: A Unified Language for Learning and Reasoning","created":"2024-05-01","cited_by_count":9,"area":null},{"id":"2107.13646","title":"Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study","created":"2021-07-28","cited_by_count":8,"area":null},{"id":"2110.03395","title":"SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming","created":"2021-10-07","cited_by_count":8,"area":null},{"id":"2201.06515","title":"Differentiable Rule Induction with Learned Relational Features","created":"2022-01-17","cited_by_count":8,"area":null},{"id":"2304.03674","title":"Machine Learning with Requirements: a Manifesto","created":"2023-04-07","cited_by_count":8,"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":"2305.12738","title":"Logical Entity Representation in Knowledge-Graphs for Differentiable Rule Learning","created":"2023-05-22","cited_by_count":8,"area":null},{"id":"2505.04950","title":"Epistemic Artificial Intelligence is Essential for Machine Learning Models to Truly 'Know When They Do Not Know'","created":"2025-05-08","cited_by_count":8,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"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":"2208.00374","title":"Neuro-Symbolic Learning: Principles and Applications in Ophthalmology","created":"2022-07-31","cited_by_count":7,"area":null},{"id":"2303.05501","title":"PDSketch: Integrated Planning Domain Programming and Learning","created":"2023-03-09","cited_by_count":7,"area":null},{"id":"2304.14094","title":"Categorical Foundations of Explainable AI: A Unifying Theory","created":"2023-04-27","cited_by_count":7,"area":null},{"id":"2311.15438","title":"ProtoArgNet: Interpretable Image Classification with Super-Prototypes and Argumentation [Technical Report]","created":"2023-11-26","cited_by_count":7,"area":null},{"id":"2402.01408","title":"Counterfactual Concept Bottleneck Models","created":"2024-02-02","cited_by_count":7,"area":null},{"id":"2406.06246","title":"Data-Efficient Learning with Neural Programs","created":"2024-06-10","cited_by_count":7,"area":null},{"id":"2409.13153","title":"Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture","created":"2024-09-20","cited_by_count":7,"area":null},{"id":"2412.14515","title":"Relational Programming with Foundation Models","created":"2024-12-19","cited_by_count":7,"area":null},{"id":"2601.03509","title":"Evolving Programmatic Skill Networks","created":"2026-01-07","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":"2103.06854","title":"A conditional, a fuzzy and a probabilistic interpretation of self-organising maps","created":"2021-03-11","cited_by_count":6,"area":null},{"id":"2205.07496","title":"Efficient Knowledge Compilation Beyond Weighted Model Counting","created":"2022-05-16","cited_by_count":6,"area":null},{"id":"2212.13425","title":"GEDI: GEnerative and DIscriminative Training for Self-Supervised Learning","created":"2022-12-27","cited_by_count":6,"area":null},{"id":"2402.13782","title":"Semirings for Probabilistic and Neuro-Symbolic Logic Programming","created":"2024-02-21","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":"2412.14814","title":"Answer Set Networks: Casting Answer Set Programming into Deep Learning","created":"2024-12-19","cited_by_count":6,"area":null},{"id":"2109.08291","title":"Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch","created":"2021-09-17","cited_by_count":5,"area":null},{"id":"2210.14905","title":"RulE: Knowledge Graph Reasoning with Rule Embedding","created":"2022-10-24","cited_by_count":5,"area":null}],"next_cursor":"100"}