:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	van Krieken, Emile, Badreddine, Samy, Manhaeve, Robin, Giunchiglia, Eleonora
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning
Online Access:	https://arxiv.org/abs/2405.00532
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Theoretical Limitations of Embedding-based Link Prediction
by: Badreddine, Samy, et al.
Published: (2025)

Optimisation in Neurosymbolic Learning Systems
by: van Krieken, Emile
Published: (2024)

On the Independence Assumption in Neurosymbolic Learning
by: van Krieken, Emile, et al.
Published: (2024)

BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2024)

GRAPES: Learning to Sample Graphs for Scalable Graph Neural Networks
by: Younesian, Taraneh, et al.
Published: (2023)

Unifying Post-hoc Explanations of Knowledge Graph Completions
by: Lonardi, Alessandro, et al.
Published: (2025)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
by: Bortolotti, Samuele, et al.
Published: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)

Mixtures of In-Context Learners
by: Hong, Giwon, et al.
Published: (2024)

Machine Learning with Requirements: a Manifesto
by: Giunchiglia, Eleonora, et al.
Published: (2023)

PiShield: A PyTorch Package for Learning with Requirements
by: Stoian, Mihaela Cătălina, et al.
Published: (2024)

Deep generative models as an adversarial attack strategy for tabular machine learning
by: Dyrmishi, Salijona, et al.
Published: (2024)

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
by: Adriaensen, Rik, et al.
Published: (2025)

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
by: Collura, Vincenzo, et al.
Published: (2025)

Gradient-Based Optimization on Gödel Logic as Discrete Local Search
by: Daniele, Alessandro, et al.
Published: (2025)

Unifying Self-Supervised Clustering and Energy-Based Models
by: Sansone, Emanuele, et al.
Published: (2023)

Neurosymbolic Reasoning Shortcuts under the Independence Assumption
by: van Krieken, Emile, et al.
Published: (2025)

Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI
by: Andolfi, Luca, et al.
Published: (2025)

GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
by: Mirzadeh, Iman, et al.
Published: (2024)

How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad
by: Abbe, Emmanuel, et al.
Published: (2024)

Help the machine to help you: an evaluation in the wild of egocentric data cleaning via skeptical learning
by: Bontempelli, Andrea, et al.
Published: (2025)

Data-Driven Self-Supervised Graph Representation Learning
by: Samy, Ahmed E., et al.
Published: (2024)

Improving Graph Few-shot Learning with Hyperbolic Space and Denoising Diffusion
by: Liu, Yonghao, et al.
Published: (2026)

REMA: A Unified Reasoning Manifold Framework for Interpreting Large Language Model
by: Li, Bo, et al.
Published: (2025)

RL for Reasoning by Adaptively Revealing Rationales
by: Amani, Mohammad Hossein, et al.
Published: (2025)

Neurosymbolic Diffusion Models
by: van Krieken, Emile, et al.
Published: (2025)

Rewarding Explainability in Drug Repurposing with Knowledge Graphs
by: Nunes, Susana, et al.
Published: (2025)

PatchTrAD: A Patch-Based Transformer focusing on Patch-Wise Reconstruction Error for Time Series Anomaly Detection
by: Vilhes, Samy-Melwan, et al.
Published: (2025)

A Unified Framework for LLM Watermarks
by: Gloaguen, Thibaud, et al.
Published: (2026)

The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity
by: Shojaee, Parshin, et al.
Published: (2025)

Husky: A Unified, Open-Source Language Agent for Multi-Step Reasoning
by: Kim, Joongwon, et al.
Published: (2024)

Reasoning's Razor: Reasoning Improves Accuracy but Can Hurt Recall at Critical Operating Points in Safety and Hallucination Detection
by: Chegini, Atoosa, et al.
Published: (2025)

Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs
by: Salimi, Moein, et al.
Published: (2026)

From Solving to Verifying: A Unified Objective for Robust Reasoning in LLMs
by: Wang, Xiaoxuan, et al.
Published: (2025)

Simulating Viva Voce Examinations to Evaluate Clinical Reasoning in Large Language Models
by: Chiu, Christopher, et al.
Published: (2025)

Inference of Abstraction for a Unified Account of Reasoning and Learning
by: Kido, Hiroyuki
Published: (2024)

Multi-View Hypercomplex Learning for Breast Cancer Screening
by: Lopez, Eleonora, et al.
Published: (2022)

AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning
by: Fu, Wei, et al.
Published: (2025)

A Unified Kernel for Neural Network Learning
by: Zhang, Shao-Qun, et al.
Published: (2024)

A Unified Theory of Diversity in Ensemble Learning
by: Wood, Danny, et al.
Published: (2023)