Cover Image

Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kido, Hiroyuki
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Inference of Abstraction for Grounded Predicate Logic
by: Kido, Hiroyuki
Published: (2025)

A Data-Transparent Probabilistic Model of Temporal Propositional Abstraction
by: Kido, Hiroyuki
Published: (2023)

Towards Unifying Perceptual Reasoning and Logical Reasoning
by: Kido, Hiroyuki
Published: (2022)

A Simple Generative Model of Logical Reasoning and Statistical Learning
by: Kido, Hiroyuki
Published: (2023)

Abductive Symbolic Solver on Abstraction and Reasoning Corpus
by: Lim, Mintaek, et al.
Published: (2024)

Vector Symbolic Algebras for the Abstraction and Reasoning Corpus
by: Joffe, Isaac, et al.
Published: (2025)

Neuro-Symbolic Imitation Learning: Discovering Symbolic Abstractions for Skill Learning
by: Keller, Leon, et al.
Published: (2025)

Generalized Planning for the Abstraction and Reasoning Corpus
by: Lei, Chao, et al.
Published: (2024)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

Cognitive Load Traces as Symbolic and Visual Accounts of Deep Model Cognition
by: Liu, Dong, et al.
Published: (2025)

Exploring Human Behavior During Abstract Rule Inference and Problem Solving with the Cognitive Abstraction and Reasoning Corpus
by: Ahn, Caroline, et al.
Published: (2026)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)

Interleaving Scheduling and Motion Planning with Incremental Learning of Symbolic Space-Time Motion Abstractions
by: Tosello, Elisa, et al.
Published: (2026)

BEV-VLM: Trajectory Planning via Unified BEV Abstraction
by: Chen, Guancheng, et al.
Published: (2025)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
by: Quan, Xin, et al.
Published: (2025)

Abstraction-of-Thought Makes Language Models Better Reasoners
by: Hong, Ruixin, et al.
Published: (2024)

Projection Abstractions in Planning Under the Lenses of Abstractions for MDPs
by: Canonaco, Giuseppe, et al.
Published: (2024)

Unified Task and Motion Planning using Object-centric Abstractions of Motion Constraints
by: Agostini, Alejandro, et al.
Published: (2023)

Investigating Intra-Abstraction Policies For Non-exact Abstraction Algorithms
by: Schmöcker, Robin, et al.
Published: (2025)

MSCCL++: Rethinking GPU Communication Abstractions for AI Inference
by: Hwang, Changho, et al.
Published: (2025)

ReSS: Learning Reasoning Models for Tabular Data Prediction via Symbolic Scaffold
by: Yi, Chenlang, et al.
Published: (2026)

AbsPyramid: Benchmarking the Abstraction Ability of Language Models with a Unified Entailment Graph
by: Wang, Zhaowei, et al.
Published: (2023)

Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation
by: Hodel, Michael
Published: (2024)

ARCLE: The Abstraction and Reasoning Corpus Learning Environment for Reinforcement Learning
by: Lee, Hosung, et al.
Published: (2024)

Neuro-Symbolic Entity Alignment via Variational Inference
by: Chen, Shengyuan, et al.
Published: (2024)

H-ARC: A Robust Estimate of Human Performance on the Abstraction and Reasoning Corpus Benchmark
by: LeGris, Solim, et al.
Published: (2024)

When to Re-Commit: Temporal Abstraction Discovery for Long-Horizon Vision-Language Reasoning
by: Li, Chen, et al.
Published: (2026)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
by: Lee, Jihwan, et al.
Published: (2024)

A Unified Perspective for Learning Graph Representations Across Multi-Level Abstractions
by: Amar, Mohamed Mahmoud, et al.
Published: (2026)

ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning
by: Yu, Xiaodong, et al.
Published: (2024)

Enhancing Structural Mapping with LLM-derived Abstractions for Analogical Reasoning in Narratives
by: Khojasteh, Mohammadhossein, et al.
Published: (2026)

ARC-NCA: Towards Developmental Solutions to the Abstraction and Reasoning Corpus
by: Guichard, Etienne, et al.
Published: (2025)

Towards Generative Abstract Reasoning: Completing Raven's Progressive Matrix via Rule Abstraction and Selection
by: Shi, Fan, et al.
Published: (2024)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
by: Li, Zenan, et al.
Published: (2025)

To See the Unseen: on the Generalization Ability of Transformers in Symbolic Reasoning
by: Lazić, Nevena, et al.
Published: (2026)

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
by: Callewaert, Benjamin, et al.
Published: (2025)

Towards Responsible and Trustworthy Educational Data Mining: Comparing Symbolic, Sub-Symbolic, and Neural-Symbolic AI Methods
by: Hooshyar, Danial, et al.
Published: (2025)