{"total":394,"rows":[{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"area":"lr"},{"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":"2212.12393","title":"A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference","created":"2022-12-23","cited_by_count":50,"area":"lr"},{"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":"2407.05557","title":"$R^2$-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning","created":"2024-07-08","cited_by_count":43,"area":"lr"},{"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":"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":"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":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"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":"2202.04178","title":"VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming","created":"2022-02-07","cited_by_count":31,"area":"lr"},{"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":"2205.12598","title":"RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning","created":"2022-05-25","cited_by_count":22,"area":"lr"},{"id":"2306.02797","title":"Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language","created":"2023-06-05","cited_by_count":22,"area":"lr"},{"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":"2208.11561","title":"Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions","created":"2022-08-24","cited_by_count":21,"area":"lr"},{"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":"2409.17270","title":"Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning","created":"2024-09-25","cited_by_count":19,"area":"lr"},{"id":"2102.11529","title":"Differentiable Logic Machines","created":"2021-02-23","cited_by_count":18,"area":null},{"id":"2305.03742","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","created":"2023-05-05","cited_by_count":18,"area":"lr"},{"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":"2403.12451","title":"End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanations","created":"2024-03-19","cited_by_count":17,"area":"deeprl"},{"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":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"area":"lr"},{"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":"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":"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":"2410.15153","title":"Evaluating Deep Unlearning in Large Language Models","created":"2024-10-19","cited_by_count":14,"area":"safety"},{"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":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"area":"lr"},{"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.00928","title":"Learning Differentiable Logic Programs for Abstract Visual Reasoning","created":"2023-07-03","cited_by_count":12,"area":"lr"},{"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":"2410.20957","title":"Neuro-symbolic Learning Yielding Logical Constraints","created":"2024-10-28","cited_by_count":12,"area":"lr"},{"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":"2412.07331","title":"NeSyA: Neurosymbolic Automata","created":"2024-12-10","cited_by_count":10,"area":"lr"},{"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":"2406.04472","title":"On the Hardness of Probabilistic Neurosymbolic Learning","created":"2024-06-06","cited_by_count":9,"area":"lr"},{"id":"2412.08457","title":"Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection","created":"2024-12-11","cited_by_count":9,"area":"lr"},{"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}],"next_cursor":"100"}