Image de couverture de livre

Neurosymbolic Decision Trees

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Möller, Matthias, Norlander, Arvid, Martires, Pedro Zuidberg Dos, De Raedt, Luc
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
par: Hazra, Rishi, et autres
Publié: (2025)

Probabilistic Neural Circuits
par: Martires, Pedro Zuidberg Dos
Publié: (2024)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
par: DeLong, Lauren Nicole, et autres
Publié: (2023)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
par: Hazra, Rishi, et autres
Publié: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
par: Martires, Pedro Zuidberg Dos, et autres
Publié: (2023)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
par: Mantenoglou, Periklis, et autres
Publié: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
par: Bizzaro, Davide, et autres
Publié: (2025)

Independence Is Not an Issue in Neurosymbolic AI
par: Faronius, Håkan Karlsson, et autres
Publié: (2025)

A Neurosymbolic Approach to Natural Language Formalization and Verification
par: Bayless, Sam, et autres
Publié: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
par: Ahuja, Riyaz, et autres
Publié: (2026)

Efficient & Correct Predictive Equivalence for Decision Trees
par: Marques-Silva, Joao, et autres
Publié: (2025)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
par: Derkinderen, Vincent, et autres
Publié: (2024)

Can Large Language Models Reason? A Characterization via 3-SAT
par: Hazra, Rishi, et autres
Publié: (2024)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
par: Maene, Jaron, et autres
Publié: (2024)

NeSyA: Neurosymbolic Automata
par: Manginas, Nikolaos, et autres
Publié: (2024)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
par: Ganguly, Debargha, et autres
Publié: (2024)

A Quantum Information Theoretic Approach to Tractable Probabilistic Models
par: Martires, Pedro Zuidberg Dos
Publié: (2025)

Reasoning in Neurosymbolic AI
par: Tran, Son, et autres
Publié: (2025)

Relational Neurosymbolic Markov Models
par: De Smet, Lennert, et autres
Publié: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
par: Azeem, Muqsit, et autres
Publié: (2024)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
par: Narboux, Julien, et autres
Publié: (2025)

Proceedings 12th International Workshop on Theorem proving components for Educational software
par: Narboux, Julien, et autres
Publié: (2024)

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
par: Martires, Pedro Zuidberg Dos, et autres
Publié: (2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
par: Bassan, Shahaf, et autres
Publié: (2025)

Consistent Joint Decision-Making with Heterogeneous Learning Models
par: Faghihi, Hossein Rajaby, et autres
Publié: (2024)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
par: De Angelis, Emanuele, et autres
Publié: (2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
par: König, Matthias, et autres
Publié: (2024)

Rigorous Explanations for Tree Ensembles
par: Izza, Yacine, et autres
Publié: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
par: Izza, Yacine, et autres
Publié: (2025)

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, et autres
Publié: (2026)

MARS: A neurosymbolic approach for interpretable drug discovery
par: DeLong, Lauren Nicole, et autres
Publié: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
par: Buleshnyi, Mykhailo, et autres
Publié: (2025)

P2C: Path to Counterfactuals
par: Dasgupta, Sopam, et autres
Publié: (2025)

Autonomous Code Evolution Meets NP-Completeness
par: Yu, Cunxi, et autres
Publié: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
par: Sälzer, Marco, et autres
Publié: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Expressive Temporal Specifications for Reward Monitoring
par: Adalat, Omar, et autres
Publié: (2025)