:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Raza, Mohammad, Milic-Frayling, Natasa
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2501.16961
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
por: Jiang, Jin, et al.
Publicado: (2025)

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
por: Rabern, Brian, et al.
Publicado: (2026)

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

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
por: Farjami, Ali, et al.
Publicado: (2026)

Transformer-based Language Models for Reasoning in the Description Logic ALCQ
por: Poulis, Angelos, et al.
Publicado: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
por: Bourgaux, Camille, et al.
Publicado: (2025)

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

Assessing and Enhancing the Robustness of Large Language Models with Task Structure Variations for Logical Reasoning
por: Bao, Qiming, et al.
Publicado: (2023)

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

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

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
por: Chen, Minyu, et al.
Publicado: (2024)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
por: Schön, Oliver, et al.
Publicado: (2026)

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

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

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

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

Rethinking Explanations: Formalizing Contrast in Description Logics
por: Mahmood, Yasir, et al.
Publicado: (2026)

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

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

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

PricingLogic: Evaluating LLMs Reasoning on Complex Tourism Pricing Tasks
por: Liu, Yunuo, et al.
Publicado: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
por: Wan, Yuxuan, et al.
Publicado: (2024)

Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression
por: Peng, Jingyu, et al.
Publicado: (2025)

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

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

Language Models and Logic Programs for Trustworthy Tax Reasoning
por: Jurayj, William, et al.
Publicado: (2025)

GLoRE: Evaluating Logical Reasoning of Large Language Models
por: liu, Hanmeng, et al.
Publicado: (2023)

Dsat: A Native SAT Solver for Discrete Logic
por: Zhang, Yaofang, et al.
Publicado: (2026)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
por: Mensfelt, Agnieszka, et al.
Publicado: (2024)

Exploring Depth Generalization in Large Language Models for Solving Recursive Logic Tasks
por: He, Zhiyuan
Publicado: (2025)

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

Large Language Models Imitate Logical Reasoning, but at what Cost?
por: McGinness, Lachlan, et al.
Publicado: (2025)

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

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
por: Li, Naiqi, et al.
Publicado: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
por: Rahman, A M Muntasir, et al.
Publicado: (2024)

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

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

Towards Unifying Perceptual Reasoning and Logical Reasoning
por: Kido, Hiroyuki
Publicado: (2022)

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