Imagen de Portada

Inference of Abstraction for a Unified Account of Reasoning and Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Kido, Hiroyuki
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Machine Learning Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Inference of Abstraction for a Unified Account of Symbolic Reasoning from Data
por: Kido, Hiroyuki
Publicado: (2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
por: Bassan, Shahaf, et al.
Publicado: (2025)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
por: Anwer, Nivar, et al.
Publicado: (2025)

Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
por: Su, DiJia, et al.
Publicado: (2024)

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
por: Schwartz, Noah, et al.
Publicado: (2026)

Unifying approach to uniform expressivity of graph neural networks
por: Luo, Huan, et al.
Publicado: (2026)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
por: Zhang, Xiyue, et al.
Publicado: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
por: Yang, Yuan, et al.
Publicado: (2022)

Efficient Certified Reasoning for Binarized Neural Networks
por: Yang, Jiong, et al.
Publicado: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
por: Yang, Kaiyu, et al.
Publicado: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
por: Pan, Leyan, et al.
Publicado: (2024)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
por: DeLong, Lauren Nicole, et al.
Publicado: (2023)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
por: Johnson, Blair, et al.
Publicado: (2025)

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning
por: Arakelyan, Erik
Publicado: (2025)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
por: Nunn, Pierre, et al.
Publicado: (2024)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
por: Morishita, Terufumi, et al.
Publicado: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
por: Pati, Viresh, et al.
Publicado: (2026)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
por: Zhapa-Camacho, Fernando, et al.
Publicado: (2025)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
por: Gilda, Sankalp, et al.
Publicado: (2026)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
por: Zhao, Yanxiao, et al.
Publicado: (2025)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
por: Yousefzadeh, Roozbeh, et al.
Publicado: (2025)

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
por: Jha, Saurabh, et al.
Publicado: (2026)

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

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
por: Noël, Valentin
Publicado: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
por: Li, Augustus Haoyang
Publicado: (2026)

Learning to Solve and Optimize by Evolving Code
por: Semmelrock, Veronika, et al.
Publicado: (2026)

Robust Shielding for Safe Reinforcement Learning
por: Court, Edwin Hamel-De le, et al.
Publicado: (2026)

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)

Inductive Generalization in Reinforcement Learning from Specifications
por: Subramanian, Vignesh, et al.
Publicado: (2024)

SATformer: Transformer-Based UNSAT Core Learning
por: Shi, Zhengyuan, et al.
Publicado: (2022)

Learning big logical rules by joining small rules
por: Hocquette, Céline, et al.
Publicado: (2024)

Learning Explainable and Better Performing Representations of POMDP Strategies
por: Bork, Alexander, et al.
Publicado: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
por: Brorholt, Asger Horn, et al.
Publicado: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
por: Kumarappan, Adarsh, et al.
Publicado: (2024)

Can Transformers Learn to Verify During Backtracking Search?
por: Phua, Yin Jun, et al.
Publicado: (2026)

Learning Concepts Definable in First-Order Logic with Counting
por: van Bergerem, Steffen
Publicado: (2019)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
por: De Angelis, Emanuele, et al.
Publicado: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
por: Soroka, Emi, et al.
Publicado: (2024)

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

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
por: He, Haoyuan, et al.
Publicado: (2022)