:: Library Catalog

Cover Image

Saved in:

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

Similar Items

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

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

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

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

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

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

GPG: A Simple and Strong Reinforcement Learning Baseline for Model Reasoning
by: Chu, Xiangxiang, et al.
Published: (2025)

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

Statistical Parsing for Logical Information Retrieval
by: Coppola, Greg
Published: (2026)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)
by: Machot, Fadi Al
Published: (2023)

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)

Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs
by: Gao, Yisen, et al.
Published: (2025)

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

Logical Reasoning in Large Language Models: A Survey
by: Liu, Hanmeng, 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)

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

DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Models
by: Dhanda, Amit
Published: (2026)

Trace Length is a Simple Uncertainty Signal in Reasoning Models
by: Devic, Siddartha, et al.
Published: (2025)

A Statistical Physics of Language Model Reasoning
by: Carson, Jack David, et al.
Published: (2025)

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)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
by: Sun, Fengsong, et al.
Published: (2024)

Statistical Early Stopping for Reasoning Models
by: Xie, Yangxinyu, et al.
Published: (2026)

A Foundation Model for Zero-shot Logical Query Reasoning
by: Galkin, Mikhail, et al.
Published: (2024)

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

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

Lost in the Logic: An Evaluation of Large Language Models' Reasoning Capabilities on LSAT Logic Games
by: Malik, Saumya
Published: (2024)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
by: Olausson, Theo X., et al.
Published: (2023)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
by: Chen, Luoxin, et al.
Published: (2026)

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

Improving Symbolic Translation of Language Models for Logical Reasoning
by: Thatikonda, Ramya Keerthy, et al.
Published: (2026)

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

ReasonAny: Incorporating Reasoning Capability to Any Model via Simple and Effective Model Merging
by: Yang, Junyao, et al.
Published: (2026)

The Tsetlin Machine Goes Deep: Logical Learning and Reasoning With Graphs
by: Granmo, Ole-Christoffer, et al.
Published: (2025)

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

Auditing the Ethical Logic of Generative AI Models
by: Neuman, W. Russell, et al.
Published: (2025)

Learning Lifted STRIPS Models from Action Traces Alone: A Simple, General, and Scalable Solution
by: Gösgens, Jonas, et al.
Published: (2024)