Copertina

Generics and Default Reasoning in Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kirkpatrick, James Ravi, Sterken, Rachel Katharine
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
di: Świechowski, Maciej, et al.
Pubblicazione: (2026)

Conversational Alignment with Artificial Intelligence in Context
di: Sterken, Rachel Katharine, et al.
Pubblicazione: (2025)

Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark
di: Li, Fangjun, et al.
Pubblicazione: (2024)

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

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
di: Wang, Keyu, et al.
Pubblicazione: (2024)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
di: Bourigault, Pauline, et al.
Pubblicazione: (2026)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
di: Chen, Michael K., et al.
Pubblicazione: (2025)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
di: Qasim, Kaleem Ullah, et al.
Pubblicazione: (2025)

Llemma: An Open Language Model For Mathematics
di: Azerbayev, Zhangir, et al.
Pubblicazione: (2023)

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

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
di: Xu, Chen, et al.
Pubblicazione: (2024)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
di: Opedal, Andreas, et al.
Pubblicazione: (2025)

Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning
di: Su, DiJia, et al.
Pubblicazione: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
di: Allen, Bradley P., et al.
Pubblicazione: (2025)

EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning
di: Basu, Kinjal, et al.
Pubblicazione: (2024)

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
di: Kalyanpur, Aditya, et al.
Pubblicazione: (2024)

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

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
di: Zhang, Leizhen, et al.
Pubblicazione: (2026)

Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
di: Zhou, Yujun, et al.
Pubblicazione: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
di: Cao, Chuxue, et al.
Pubblicazione: (2025)

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

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
di: Srbinovska, Anita, et al.
Pubblicazione: (2026)

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

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
di: Zeng, Yankai, et al.
Pubblicazione: (2024)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
di: King, Daragh, et al.
Pubblicazione: (2025)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
di: Nguyen, Long S. T., et al.
Pubblicazione: (2025)

VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
di: Yubeaton, Patrick, et al.
Pubblicazione: (2025)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
di: Fan, Wen, et al.
Pubblicazione: (2024)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
di: Cheng, Jingde
Pubblicazione: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)

Conflict-Aware Fusion: Mitigating Logic Inertia in Large Language Models via Structured Cognitive Priors
di: Bao, Qiming, et al.
Pubblicazione: (2025)

Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
di: Allen, Bradley P.
Pubblicazione: (2026)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
di: Singh, Vikash, et al.
Pubblicazione: (2026)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
di: Sun, Qiang, et al.
Pubblicazione: (2025)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
di: Bao, Qiming, et al.
Pubblicazione: (2022)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
di: Wei, Anjiang, et al.
Pubblicazione: (2025)