Buchumschlag

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Falomir, Zoe
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
von: Mishra, Suyash
Veröffentlicht: (2026)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
von: Bednarek, Jakub, et al.
Veröffentlicht: (2024)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning
von: Faiz, Mohd Anwar Jamal
Veröffentlicht: (2025)

Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type Recognition
von: Seshadri, Amrit Diggavi, et al.
Veröffentlicht: (2023)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
von: Garmaev, Sergei, et al.
Veröffentlicht: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
von: Kaminski, Roland, et al.
Veröffentlicht: (2024)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
von: Gao, Silin, et al.
Veröffentlicht: (2025)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
von: Hersche, Michael, et al.
Veröffentlicht: (2024)

A Probabilistic Framework for Hierarchical Goal Recognition
von: Zhang, Chenyuan, et al.
Veröffentlicht: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
von: Xu, Weidi, et al.
Veröffentlicht: (2023)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
von: Feeney, Sean, et al.
Veröffentlicht: (2026)

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

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning
von: Varey, Stephen Richard, et al.
Veröffentlicht: (2025)

Towards Learning Abductive Reasoning using VSA Distributed Representations
von: Camposampiero, Giacomo, et al.
Veröffentlicht: (2024)

ABD: Default Exception Abduction in Finite First Order Worlds
von: Batzoglou, Serafim
Veröffentlicht: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
von: Ludäscher, Bertram, et al.
Veröffentlicht: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
von: Deng, Zihao, et al.
Veröffentlicht: (2025)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
von: Un, ChongIn, et al.
Veröffentlicht: (2025)

Formal Verification of Neural Certificates Done Dynamically
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
von: Ai, Lun, et al.
Veröffentlicht: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
von: Sartor, Gabriele, et al.
Veröffentlicht: (2024)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
von: Sonna, Belona, et al.
Veröffentlicht: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
von: Rothenfusser, Kaspar
Veröffentlicht: (2025)

Probabilistic Active Goal Recognition
von: Zhang, Chenyuan, et al.
Veröffentlicht: (2025)

Two Constraint Compilation Methods for Lifted Planning
von: Mantenoglou, Periklis, et al.
Veröffentlicht: (2025)

FactorHD: A Hyperdimensional Computing Model for Multi-Object Multi-Class Representation and Factorization
von: Zhou, Yifei, et al.
Veröffentlicht: (2025)

Adaptive Collaboration of Arena-Based Argumentative LLMs for Explainable and Contestable Legal Reasoning
von: Cao, Hoang-Loc, et al.
Veröffentlicht: (2026)

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
von: Hong, Shengxin, et al.
Veröffentlicht: (2024)

ONSEP: A Novel Online Neural-Symbolic Framework for Event Prediction Based on Large Language Model
von: Yu, Xuanqing, et al.
Veröffentlicht: (2024)

Large Language Models as Mirrors of Societal Moral Standards
von: Papadopoulou, Evi, et al.
Veröffentlicht: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
von: Wang, Yao, et al.
Veröffentlicht: (2026)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
von: Zhao, Xufeng, et al.
Veröffentlicht: (2023)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
von: Garrido-Merchán, Eduardo C., et al.
Veröffentlicht: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
von: Wu, Siyu, et al.
Veröffentlicht: (2024)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
von: Wang, Maijunxian
Veröffentlicht: (2025)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
von: Ledaguenel, Arthur, et al.
Veröffentlicht: (2024)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
von: Chen, Michael K.
Veröffentlicht: (2025)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
von: Chen, Tianhao, et al.
Veröffentlicht: (2024)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
von: Buali, Mahdi, et al.
Veröffentlicht: (2024)