Cover Image

Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pacheco, Maria Leonor, Somenzi, Fabio, Srinivas, Dananjay, Trivedi, Ashutosh
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku
by: Maiya, Anirudh, et al.
Published: (2025)

Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
by: Kazemi, Milad, et al.
Published: (2025)

Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
by: Komp, John, et al.
Published: (2024)

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software
by: Srinivas, Dananjay, et al.
Published: (2023)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
by: Perez, Mateo, et al.
Published: (2023)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

All Entities are Not Created Equal: Examining the Long Tail for Ultra-Fine Entity Typing
by: Deshmukh, Advait, et al.
Published: (2024)

Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
by: Akash, Ranit Debnath, et al.
Published: (2025)

The Shutdown Problem: An AI Engineering Puzzle for Decision Theorists
by: Thornley, Elliott
Published: (2024)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
by: Roberson, Richard, et al.
Published: (2024)

Exploring the Efficacy of Federated-Continual Learning Nodes with Attention-Based Classifier for Robust Web Phishing Detection: An Empirical Investigation
by: M, Jesher Joshua, et al.
Published: (2024)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
by: Nadali, Alireza, et al.
Published: (2024)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
by: Chen, Lekai, et al.
Published: (2024)

Mapping the Course for Prompt-based Structured Prediction
by: Pauk, Matt, et al.
Published: (2025)

LOGICAL-COMMONSENSEQA: A Benchmark for Logical Commonsense Reasoning
by: Junias, Obed, et al.
Published: (2026)

Explaining RL Decisions with Trajectories
by: Deshmukh, Shripad Vilasrao, et al.
Published: (2023)

Explaining Decisions of Agents in Mixed-Motive Games
by: Orner, Maayan, et al.
Published: (2024)

The DeepLog Neurosymbolic Machine
by: Derkinderen, Vincent, et al.
Published: (2025)

Neurosymbolic Deep Learning Semantics
by: Garcez, Artur d'Avila, et al.
Published: (2025)

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

Neurosymbolic Methods for Rule Mining
by: Lawrynowicz, Agnieszka, et al.
Published: (2024)

Neurosymbolic AI for Travel Demand Prediction: Integrating Decision Tree Rules into Neural Networks
by: Acharya, Kamal, et al.
Published: (2025)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
by: Ahuja, Riyaz, et al.
Published: (2026)

Neurosymbolic Conformal Classification
by: Ledaguenel, Arthur, et al.
Published: (2024)

'Explaining RL Decisions with Trajectories': A Reproducibility Study
by: Sadek, Karim Abdel, et al.
Published: (2024)

T-ILR: a Neurosymbolic Integration for LTLf
by: Andreoni, Riccardo, et al.
Published: (2025)

Neurosymbolic Learning for Inference-Time Argumentation
by: Freedman, Gabriel, et al.
Published: (2026)

Neurosymbolic Methods for Dynamic Knowledge Graphs
by: Alam, Mehwish, et al.
Published: (2024)

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning
by: Ganguly, Debargha, et al.
Published: (2024)

Reasoning in Neurosymbolic AI
by: Tran, Son, et al.
Published: (2025)

Integrating Explanations in Learning LTL Specifications from Demonstrations
by: Gupta, Ashutosh, et al.
Published: (2024)

Towards Unified Neurosymbolic Reasoning on Knowledge Graphs
by: Lin, Qika, et al.
Published: (2025)

DeepGraphLog for Layered Neurosymbolic AI
by: Kikaj, Adem, et al.
Published: (2025)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Sample-Efficient Neurosymbolic Deep Reinforcement Learning
by: Veronese, Celeste, et al.
Published: (2026)

Toward Neurosymbolic Program Comprehension
by: Velasco, Alejandro, et al.
Published: (2025)

TEN: Table Explicitization, Neurosymbolically
by: Mehrotra, Nikita, et al.
Published: (2025)

Relational Neurosymbolic Markov Models
by: De Smet, Lennert, et al.
Published: (2024)

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