Buchumschlag

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lee, Jihwan, Sim, Woochang, Kim, Sejin, Kim, Sundong
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reasoning Abilities of Large Language Models: In-Depth Analysis on the Abstraction and Reasoning Corpus
von: Lee, Seungpil, et al.
Veröffentlicht: (2024)

ARCLE: The Abstraction and Reasoning Corpus Learning Environment for Reinforcement Learning
von: Lee, Hosung, et al.
Veröffentlicht: (2024)

GIFARC: Synthetic Dataset for Leveraging Human-Intuitive Analogies to Elevate AI Reasoning
von: Sim, Woochang, et al.
Veröffentlicht: (2025)

System 2 Reasoning for Human-AI Alignment: Generality and Adaptivity via ARC-AGI
von: Kim, Sejin, et al.
Veröffentlicht: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
von: Morishita, Terufumi, et al.
Veröffentlicht: (2024)

Abductive Symbolic Solver on Abstraction and Reasoning Corpus
von: Lim, Mintaek, et al.
Veröffentlicht: (2024)

Inference of Abstraction for a Unified Account of Reasoning and Learning
von: Kido, Hiroyuki
Veröffentlicht: (2024)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
von: Orvalho, Pedro, et al.
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Defeasible Reasoning on Concepts
von: Ding, Yiwen, et al.
Veröffentlicht: (2024)

Reasoning in Neurosymbolic AI
von: Tran, Son, et al.
Veröffentlicht: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
von: Rashid, Adnan
Veröffentlicht: (2026)

Addressing and Visualizing Misalignments in Human Task-Solving Trajectories
von: Kim, Sejin, et al.
Veröffentlicht: (2024)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
von: McGinness, Lachlan, et al.
Veröffentlicht: (2025)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
von: Kalyanpur, Aditya, et al.
Veröffentlicht: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
von: Bankosegger, Rafael, et al.
Veröffentlicht: (2026)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
von: Cheng, Jingde
Veröffentlicht: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
von: Bhat, Vishak K, et al.
Veröffentlicht: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
von: Miya, Shinobu
Veröffentlicht: (2025)

Generics and Default Reasoning in Large Language Models
von: Kirkpatrick, James Ravi, et al.
Veröffentlicht: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
von: Wang, Ruolin, et al.
Veröffentlicht: (2024)

A framework for Conditional Reasoning in Answer Set Programming
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2022)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
von: Nikooroo, Saleh, et al.
Veröffentlicht: (2025)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
von: Di Stefano, Federica, et al.
Veröffentlicht: (2025)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

Large Language Models for Interpretable Mental Health Diagnosis
von: Kim, Brian Hyeongseok, et al.
Veröffentlicht: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
von: Arkoudas, Konstantine, et al.
Veröffentlicht: (2026)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
von: Vitali, Fabio
Veröffentlicht: (2025)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)