Copertina

Improving Neural-based Classification with Logical Background Knowledge

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ledaguenel, Arthur, Hudelot, Céline, Khouadjia, Mostepha
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Machine Learning Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

Neurosymbolic Conformal Classification
di: Ledaguenel, Arthur, et al.
Pubblicazione: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
di: Aswal, Darpan, et al.
Pubblicazione: (2025)

Neural Concept Binder
di: Stammer, Wolfgang, et al.
Pubblicazione: (2024)

Automated Loss function Search for Class-imbalanced Node Classification
di: Guo, Xinyu, et al.
Pubblicazione: (2024)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
di: Labre, Marcelo
Pubblicazione: (2026)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
di: Saegert, Paul, et al.
Pubblicazione: (2026)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
di: Sheneman, Lucas
Pubblicazione: (2026)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
di: Chen, Michael K.
Pubblicazione: (2025)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
di: Zhao, Xufeng, et al.
Pubblicazione: (2023)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
di: Li, Zihao, et al.
Pubblicazione: (2024)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
di: Tripathi, Satvik
Pubblicazione: (2025)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
di: Leang, Joshua Ong Jun, et al.
Pubblicazione: (2024)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
di: Ünsal, Mert, et al.
Pubblicazione: (2024)

Generalized Holographic Reduced Representations
di: Yeung, Calvin, et al.
Pubblicazione: (2024)

ViSymRe: Vision Multimodal Symbolic Regression
di: Li, Da, et al.
Pubblicazione: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
di: Camposampiero, Giacomo, et al.
Pubblicazione: (2024)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
di: Hersche, Michael, et al.
Pubblicazione: (2024)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
di: Chen, Tianhao, et al.
Pubblicazione: (2024)

Terminating Differentiable Tree Experts
di: Thomm, Jonathan, et al.
Pubblicazione: (2024)

Unsupervised Symbolic Anomaly Detection
di: Hossain, Md Maruf, et al.
Pubblicazione: (2026)

Agent-centric learning: from external reward maximization to internal knowledge curation
di: Zhou, Hanqi, et al.
Pubblicazione: (2025)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
di: Deng, Ou, et al.
Pubblicazione: (2025)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
di: Hu, Chengpeng, et al.
Pubblicazione: (2026)

Symbolic Foundation Regressor on Complex Networks
di: Liu, Weiting, et al.
Pubblicazione: (2025)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
di: Tian, Yuan, et al.
Pubblicazione: (2025)

Library learning with e-graphs on jazz harmony
di: Ren, Zeng, et al.
Pubblicazione: (2026)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
di: Bougzime, Oualid, et al.
Pubblicazione: (2025)

Certified geometric robustness -- Super-DeepG
di: Cohen, Noémie, et al.
Pubblicazione: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
di: Wang, Kevin, et al.
Pubblicazione: (2026)

UniSymNet: A Unified Symbolic Network Guided by Transformer
di: Li, Xinxin, et al.
Pubblicazione: (2025)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
di: Jiang, Nan, et al.
Pubblicazione: (2025)

Multi-Operational Mathematical Derivations in Latent Space
di: Valentino, Marco, et al.
Pubblicazione: (2023)

Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
di: Taskin, Bilge, et al.
Pubblicazione: (2025)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
di: Hu, Jiao, et al.
Pubblicazione: (2024)

Training Stiff Neural Ordinary Differential Equations with Explicit Exponential Integration Methods
di: Fronk, Colby, et al.
Pubblicazione: (2024)

Guiding Genetic Programming with Graph Neural Networks
di: Wyrwiński, Piotr, et al.
Pubblicazione: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
di: Zaid, Faried Abu, et al.
Pubblicazione: (2024)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
di: Zou, Haohan, et al.
Pubblicazione: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
di: Dinu, Marius-Constantin, et al.
Pubblicazione: (2024)