Image de couverture de livre

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rahman, A M Muntasir, Ye, Junyi, Yao, Wei, Liu, Sierra S., Yu, Jesse, Yu, Jonathan, Yin, Wenpeng, Wang, Guiling
Format:	Preprint
Publié:	2024
Sujets:	Computation and Language Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems
par: Ye, Junyi, et autres
Publié: (2024)

Interpolation in First-Order Logic
par: Cate, Balder ten, et autres
Publié: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
par: Chen, Minyu, et autres
Publié: (2024)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

Dsat: A Native SAT Solver for Discrete Logic
par: Zhang, Yaofang, et autres
Publié: (2026)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
par: Cao, Chuxue, et autres
Publié: (2025)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Logical Inferentialism & Attacks on Classical Logic
par: Irani, Khashayar
Publié: (2025)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
par: Zhang, Xinglang, et autres
Publié: (2026)

From Differential Linear Logic to Coherent Differentiation
par: Ehrhard, Thomas
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

Nested Sequents for Quasi-transitive Modal Logics
par: Marin, Sonia, et autres
Publié: (2024)