{"total":72,"rows":[{"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.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"id":"2501.05435","title":"Neuro-Symbolic AI in 2024: A Systematic Review","created":"2025-01-09","cited_by_count":38,"area":null},{"id":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"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":"2201.11250","title":"Neuro-Symbolic Entropy Regularization","created":"2022-01-25","cited_by_count":27,"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":"2407.15527","title":"Interpretable Concept-Based Memory Reasoning","created":"2024-07-22","cited_by_count":17,"area":null},{"id":"2403.00323","title":"Softened Symbol Grounding for Neuro-symbolic Systems","created":"2024-03-01","cited_by_count":16,"area":null},{"id":"2505.13138","title":"Neurosymbolic Diffusion Models","created":"2025-05-19","cited_by_count":13,"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":"2503.19466","title":"A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction","created":"2025-03-25","cited_by_count":11,"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.07331","title":"NeSyA: Neurosymbolic Automata","created":"2024-12-10","cited_by_count":10,"area":"lr"},{"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":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2305.08876","title":"Neurosymbolic AI and its Taxonomy: a survey","created":"2023-05-12","cited_by_count":6,"area":null},{"id":"2302.10674","title":"Declarative Probabilistic Logic Programming in Discrete-Continuous Domains","created":"2023-02-21","cited_by_count":5,"area":null},{"id":"2412.17696","title":"Understanding the Logic of Direct Preference Alignment through Logic","created":"2024-12-23","cited_by_count":5,"area":"alignment"},{"id":"2508.13697","title":"The DeepLog Neurosymbolic Machine","created":"2025-08-19","cited_by_count":5,"area":null},{"id":"2403.09481","title":"Clinical Reasoning over Tabular Data and Text with Bayesian Networks","created":"2024-03-14","cited_by_count":4,"area":null},{"id":"2403.03203","title":"CLEVR-POC: Reasoning-Intensive Visual Question Answering in Partially Observable Environments","created":"2024-03-05","cited_by_count":3,"area":"lr"},{"id":"2503.16797","title":"A Learnability Analysis on Neuro-Symbolic Learning","created":"2025-03-21","cited_by_count":3,"area":null},{"id":"2507.08216","title":"Grounding Methods for Neural-Symbolic AI","created":"2025-07-10","cited_by_count":3,"area":null},{"id":"2303.15487","title":"Knowledge Enhanced Graph Neural Networks for Graph Completion","created":"2023-03-27","cited_by_count":2,"area":null},{"id":"2411.15626","title":"Aligning Generalisation Between Humans and Machines","created":"2024-11-23","cited_by_count":2,"area":null},{"id":"2501.07507","title":"Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback","created":"2025-01-13","cited_by_count":2,"area":null},{"id":"2502.13953","title":"Benchmarking graph construction by large language models for coherence-driven inference","created":"2025-02-19","cited_by_count":2,"area":null},{"id":"2505.05106","title":"A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge","created":"2025-05-08","cited_by_count":2,"area":null},{"id":"2506.14569","title":"Enhancing Symbolic Machine Learning by Subsymbolic Representations","created":"2025-06-17","cited_by_count":2,"area":null},{"id":"2506.16129","title":"Neurosymbolic Object-Centric Learning with Distant Supervision","created":"2025-06-19","cited_by_count":2,"area":null},{"id":"2509.06921","title":"Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2510.17256","title":"Explainability of Large Language Models: Opportunities and Challenges toward Generating Trustworthy Explanations","created":"2025-10-20","cited_by_count":2,"area":"mechinterp"},{"id":"2605.10279","title":"DeepLog: A Software Framework for Modular Neurosymbolic AI","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2206.04724","title":"Modular design patterns for neural-symbolic integration: refinement and combination","created":"2022-06-09","cited_by_count":1,"area":null},{"id":"2404.19485","title":"IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements","created":"2024-04-30","cited_by_count":1,"area":null},{"id":"2405.09521","title":"Declarative Design of Neural Predicates in Neuro-Symbolic Systems","created":"2024-05-15","cited_by_count":1,"area":"lr"},{"id":"2407.12816","title":"Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting","created":"2024-06-29","cited_by_count":1,"area":null},{"id":"2502.02135","title":"Standard Neural Computation Alone Is Insufficient for Logical Intelligence","created":"2025-02-04","cited_by_count":1,"area":null},{"id":"2502.03274","title":"A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification","created":"2025-02-05","cited_by_count":1,"area":"lr"},{"id":"2507.01825","title":"MILP-SAT-GNN: Yet Another Neural SAT Solver","created":"2025-07-02","cited_by_count":1,"area":null},{"id":"2507.07808","title":"Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers","created":"2025-07-10","cited_by_count":1,"area":null},{"id":"2509.07665","title":"DeepGraphLog for Layered Neurosymbolic AI","created":"2025-09-09","cited_by_count":1,"area":"lr"},{"id":"2509.21663","title":"Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration","created":"2025-09-25","cited_by_count":1,"area":"lr"},{"id":"2601.02850","title":"Sample-Efficient Neurosymbolic Deep Reinforcement Learning","created":"2026-01-06","cited_by_count":1,"area":"deeprl"},{"id":"2605.13674","title":"Weakly Supervised Segmentation as Semantic-Based Regularization","created":"2026-05-13","cited_by_count":1,"area":null},{"id":"2606.29972","title":"First-Order Temporal Logic Tensor Networks","created":"2026-06-29","cited_by_count":1,"area":null},{"id":"2609.13520","title":"From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models","created":"2026-09-11","cited_by_count":1,"area":"lr"},{"id":"2411.18172","title":"Enhancing Computer Vision with Knowledge: a Rummikub Case Study","created":"2024-11-27","cited_by_count":0,"area":null},{"id":"2502.19297","title":"Combining Planning and Reinforcement Learning for Solving Relational Multiagent Domains","created":"2025-02-26","cited_by_count":0,"area":null},{"id":"2503.00611","title":"Modeling Arbitrarily Applicable Relational Responding with the Non-Axiomatic Reasoning System: A Machine Psychology Approach","created":"2025-03-01","cited_by_count":0,"area":null},{"id":"2503.08762","title":"Neurosymbolic Decision Trees","created":"2025-03-11","cited_by_count":0,"area":"lr"},{"id":"2509.18520","title":"Coherence-driven inference for cybersecurity","created":"2025-09-23","cited_by_count":0,"area":null},{"id":"2509.18523","title":"Automatic coherence-driven inference on arguments","created":"2025-09-23","cited_by_count":0,"area":null},{"id":"2510.23379","title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design","created":"2025-10-27","cited_by_count":0,"area":null},{"id":"2511.02825","title":"Neurosymbolic Deep Learning Semantics","created":"2025-11-04","cited_by_count":0,"area":null},{"id":"2511.08581","title":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","created":"2025-11-11","cited_by_count":0,"area":"lr"},{"id":"2602.02239","title":"Interpretability in Deep Time Series Models Demands Semantic Alignment","created":"2026-02-02","cited_by_count":0,"area":null},{"id":"2603.01407","title":"The Observer-Situation Lattice: A Unified Formal Basis for Perspective-Aware Cognition","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2603.24358","title":"A Neuro-Symbolic System for Interpretable Multimodal Physiological Signals Integration in Human Fatigue Detection","created":"2026-03-25","cited_by_count":0,"area":null},{"id":"2604.11284","title":"THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture","created":"2026-04-13","cited_by_count":0,"area":"mechinterp"},{"id":"2604.13871","title":"Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator","created":"2026-04-15","cited_by_count":0,"area":null},{"id":"2604.17967","title":"A Sugeno Integral View of Binarized Neural Network Inference","created":"2026-04-20","cited_by_count":0,"area":null},{"id":"2604.25534","title":"Sample-efficient Neuro-symbolic Proximal Policy Optimization","created":"2026-04-28","cited_by_count":0,"area":"deeprl"},{"id":"2606.00671","title":"Moxia: A Trust-First Neuro-Symbolic Execution Architecture for Self-Explaining Mathematical Reasoning","created":"2026-05-30","cited_by_count":0,"area":"lr"},{"id":"2607.22811","title":"From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How","created":"2026-07-24","cited_by_count":0,"area":null},{"id":"2607.29530","title":"A Neurosymbolic Approach for Explainable Early Diagnosis of Alzheimer's Disease","created":"2026-07-31","cited_by_count":0,"area":null},{"id":"2608.02662","title":"Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers","created":"2026-08-01","cited_by_count":0,"area":null},{"id":"2609.00464","title":"Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective","created":"2026-08-31","cited_by_count":0,"area":"lr"},{"id":"2609.25766","title":"Neurosymbolic Action Model Learning under Partial Observability","created":"2026-09-22","cited_by_count":0,"area":null},{"id":"2609.40131","title":"Prototype-Rule Neurosymbolic Regularization for Rank-Constrained Tensor Neural Networks under Label Scarcity","created":"2026-09-30","cited_by_count":0,"area":null}],"next_cursor":null}