:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kido, Hiroyuki
Format:	Preprint
Published:	2022
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2206.13174
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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 Unified Neurosymbolic Reasoning on Knowledge Graphs
by: Lin, Qika, et al.
Published: (2025)

FloCA: Towards Faithful and Logically Consistent Flowchart Reasoning
by: Zou, Jinzi, et al.
Published: (2026)

Can Large Reasoning Models do Analogical Reasoning under Perceptual Uncertainty?
by: Camposampiero, Giacomo, et al.
Published: (2025)

Implementing Tensor Logic: Unifying Datalog and Neural Reasoning via Tensor Contraction
by: Shah, Swapn, et al.
Published: (2026)

Evaluating the Logical Reasoning Abilities of Large Reasoning Models
by: Liu, Hanmeng, et al.
Published: (2025)

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
by: Parmar, Mihir, et al.
Published: (2024)

Towards Robust Legal Reasoning: Harnessing Logical LLMs in Law
by: Kant, Manuj, et al.
Published: (2025)

ActivationReasoning: Logical Reasoning in Latent Activation Spaces
by: Helff, Lukas, et al.
Published: (2025)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
by: Liu, Junteng, et al.
Published: (2025)

Agentified Assessment of Logical Reasoning Agents
by: Ni, Zhiyu, et al.
Published: (2026)

Omni-R1: Towards the Unified Generative Paradigm for Multimodal Reasoning
by: Cheng, Dongjie, et al.
Published: (2026)

Towards Efficient Multimodal Unified Reasoning Model via Model Merging
by: Yin, Qixiang, et al.
Published: (2025)

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding
by: Li, Yanda, et al.
Published: (2024)

VOILA: Evaluation of MLLMs For Perceptual Understanding and Analogical Reasoning
by: Yilmaz, Nilay, et al.
Published: (2025)

Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
by: Chen, Danchun, et al.
Published: (2026)

A Unified Temporal Knowledge Graph Reasoning Model Towards Interpolation and Extrapolation
by: Chen, Kai, et al.
Published: (2024)

LLM-based Argument Mining meets Argumentation and Description Logics: a Unified Framework for Reasoning about Debates
by: Alfano, Gianvincenzo, et al.
Published: (2026)

MultiZebraLogic: A Multilingual Logical Reasoning Benchmark
by: Bruun, Sofie Helene, et al.
Published: (2025)

Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment
by: Li, Cheryl, et al.
Published: (2025)

LogicLens: Visual-Logical Co-Reasoning for Text-Centric Forgery Analysis
by: Zeng, Fanwei, et al.
Published: (2025)

A Feature-based Generalizable Prediction Model for Both Perceptual and Abstract Reasoning
by: Do, Quan, et al.
Published: (2024)

MME-Reasoning: A Comprehensive Benchmark for Logical Reasoning in MLLMs
by: Yuan, Jiakang, et al.
Published: (2025)

Human-Level Reasoning: A Comparative Study of Large Language Models on Logical and Abstract Reasoning
by: Moreira, Benjamin Grando
Published: (2025)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
by: Lin, Bill Yuchen, et al.
Published: (2025)

Evaluating Robustness of Reasoning Models on Parameterized Logical Problems
by: Es-sebbani, Naïm, et al.
Published: (2026)

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
by: Sun, Zhouhao, et al.
Published: (2024)

HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games
by: Liang, Jingcong, et al.
Published: (2025)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
by: Raza, Mohammad, et al.
Published: (2025)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
by: Nguyen, Phuong Minh, et al.
Published: (2026)

$R^2$-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning
by: Kang, Mintong, et al.
Published: (2024)

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
by: Han, Simeng, et al.
Published: (2024)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
by: Wang, Xiangyu, et al.
Published: (2025)

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning
by: Ni, Zhiyu, et al.
Published: (2026)

CauseJudger: Identifying the Cause with LLMs for Abductive Logical Reasoning
by: He, Jinwei, et al.
Published: (2024)