Copertina

RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chan, Jason, Gaizauskas, Robert, Zhao, Zhixue
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
di: Chan, Jason, et al.
Pubblicazione: (2026)

Position: On the Methodological Pitfalls of Evaluating Base LLMs for Reasoning
di: Chan, Jason, et al.
Pubblicazione: (2025)

Explanation Generation for Contradiction Reconciliation with LLMs
di: Chan, Jason, et al.
Pubblicazione: (2026)

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
di: Li, Qingchuan, et al.
Pubblicazione: (2025)

Comparing Explanation Faithfulness between Multilingual and Monolingual Fine-tuned Language Models
di: Zhao, Zhixue, et al.
Pubblicazione: (2024)

It's All About In-Context Learning! Teaching Extremely Low-Resource Languages to LLMs
di: Li, Yue, et al.
Pubblicazione: (2025)

Tracing and Reversing Edits in LLMs
di: Youssef, Paul, et al.
Pubblicazione: (2025)

Survey-to-Behavior: Downstream Alignment of Human Values in LLMs via Survey Questions
di: Nie, Shangrui, et al.
Pubblicazione: (2025)

How to Make LLMs Forget: On Reversing In-Context Knowledge Edits
di: Youssef, Paul, et al.
Pubblicazione: (2024)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
di: Kim, Kyuhee, et al.
Pubblicazione: (2026)

Can Confidence Estimates Decide When Chain-of-Thought Is Necessary for LLMs?
di: Lewis-Lim, Samuel, et al.
Pubblicazione: (2025)

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
di: Lei, Yuanyuan, et al.
Pubblicazione: (2024)

Empowering LLMs with Logical Reasoning: A Comprehensive Survey
di: Cheng, Fengxiang, et al.
Pubblicazione: (2025)

From Early Encoding to Late Suppression: Interpreting LLMs on Character Counting Tasks
di: Datta, Ayan, et al.
Pubblicazione: (2026)

Beyond Memorization: Distinguishing between Reductive and Epistemic Reasoning in LLMs using Classic Logic Puzzles
di: Gabay, Adi, et al.
Pubblicazione: (2026)

Bridging the Gap: In-Context Learning for Modeling Human Disagreement
di: Muscato, Benedetta, et al.
Pubblicazione: (2025)

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

Where Reasoning Breaks: Logic-Aware Path Selection by Controlling Logical Connectives in LLMs Reasoning Chains
di: Park, Seunghyun, et al.
Pubblicazione: (2026)

Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
di: Li, Songze, et al.
Pubblicazione: (2025)

HCR-Reasoner: Synergizing Large Language Models and Theory for Human-like Causal Reasoning
di: Zhang, Yanxi, et al.
Pubblicazione: (2025)

Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs
di: Wang, Siyuan, et al.
Pubblicazione: (2024)

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

HAL: Inducing Human-likeness in LLMs with Alignment
di: Hasan, Masum, et al.
Pubblicazione: (2026)

NumeroLogic: Number Encoding for Enhanced LLMs' Numerical Reasoning
di: Schwartz, Eli, et al.
Pubblicazione: (2024)

Label Set Optimization via Activation Distribution Kurtosis for Zero-shot Classification with Generative Models
di: Li, Yue, et al.
Pubblicazione: (2024)

LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening
di: Zhang, Ming, et al.
Pubblicazione: (2026)

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

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

ReAGent: A Model-agnostic Feature Attribution Method for Generative Language Models
di: Zhao, Zhixue, et al.
Pubblicazione: (2024)

Incorporating Attribution Importance for Improving Faithfulness Metrics
di: Zhao, Zhixue, et al.
Pubblicazione: (2023)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
di: Horner, Elias, et al.
Pubblicazione: (2025)

Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering
di: Valentino, Marco, et al.
Pubblicazione: (2025)

Logic Haystacks: Probing LLMs Long-Context Logical Reasoning (Without Easily Identifiable Unrelated Padding)
di: Sileo, Damien
Pubblicazione: (2025)

A Closer Look at Logical Reasoning with LLMs: The Choice of Tool Matters
di: Lam, Long Hei Matthew, et al.
Pubblicazione: (2024)

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
di: Wang, Olivia Peiyu, et al.
Pubblicazione: (2026)

Logic-Regularized Verifier Elicits Reasoning from LLMs
di: Wang, Xinyu, et al.
Pubblicazione: (2026)

How Deep is Love in LLMs' Hearts? Exploring Semantic Size in Human-like Cognition
di: Yao, Yao, et al.
Pubblicazione: (2025)

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

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

Exploring Vision Language Models for Multimodal and Multilingual Stance Detection
di: Vasilakes, Jake, et al.
Pubblicazione: (2025)