Copertina

DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Dhanda, Amit
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Multi-Dimensional Summarization Agents with Context-Aware Reasoning over Enterprise Tables
di: Dhanda, Amit
Pubblicazione: (2025)

Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning
di: Qin, Yuehan, et al.
Pubblicazione: (2025)

Making Implicit Premises Explicit in Logical Understanding of Enthymemes
di: Feng, Xuyao, et al.
Pubblicazione: (2026)

Chart-RL: Policy Optimization Reinforcement Learning for Enhanced Visual Reasoning in Chart Question Answering with Vision Language Models
di: Bai, Yunfei, et al.
Pubblicazione: (2026)

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

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

Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension
di: Wang, Chenxu, et al.
Pubblicazione: (2024)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

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

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

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

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

Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

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

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

Towards Unifying Perceptual Reasoning and Logical Reasoning
di: Kido, Hiroyuki
Pubblicazione: (2022)

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

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

Logics-STEM: Empowering LLM Reasoning via Failure-Driven Post-Training and Document Knowledge Enhancement
di: Xu, Mingyu, et al.
Pubblicazione: (2026)

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

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

Premise Order Matters in Reasoning with Large Language Models
di: Chen, Xinyun, et al.
Pubblicazione: (2024)

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

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

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

MENTIS: What Belief Changes Under Alignment? Measuring Multi-Scale Latent Torsion in Language Models
di: Saha, Partha Pratim, et al.
Pubblicazione: (2026)

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

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

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

InEdit-Bench: Benchmarking Intermediate Logical Pathways for Intelligent Image Editing Models
di: Sheng, Zhiqiang, et al.
Pubblicazione: (2026)

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

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning
di: Bao, Qiming, et al.
Pubblicazione: (2023)

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

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

Logical Reasoning in Large Language Models: A Survey
di: Liu, Hanmeng, et al.
Pubblicazione: (2025)

Safe Equilibrium Policy Optimization for Strategic Agent Policies
di: Arumugam, Karthika, et al.
Pubblicazione: (2026)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)

ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
di: Thomas, Noel
Pubblicazione: (2026)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
di: Chung, Tsz Ting, et al.
Pubblicazione: (2025)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
di: He, Kang, et al.
Pubblicazione: (2025)