Copertina

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Arkoudas, Konstantine, Batzoglou, Serafim
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
di: Wang, Ziyu, et al.
Pubblicazione: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
di: Elboher, Yizhak Yisrael, et al.
Pubblicazione: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
di: Han, Sangjun, et al.
Pubblicazione: (2025)

ABD: Default Exception Abduction in Finite First Order Worlds
di: Batzoglou, Serafim
Pubblicazione: (2026)

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

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

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

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
di: Ganguly, Debargha, et al.
Pubblicazione: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
di: Yanahama, Banri, et al.
Pubblicazione: (2026)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
di: Cabral, Rafael, et al.
Pubblicazione: (2025)

Investigations into Proof Structures
di: Wernhard, Christoph, et al.
Pubblicazione: (2023)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

An Undecidability Proof for the Plan Existence Problem
di: Achilleos, Antonis
Pubblicazione: (2026)

Large Language Model for OWL Proofs
di: Yang, Hui, et al.
Pubblicazione: (2026)

Formal Mathematical Reasoning: A New Frontier in AI
di: Yang, Kaiyu, et al.
Pubblicazione: (2024)

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

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
di: Bhat, Vishak K, et al.
Pubblicazione: (2026)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
di: Metere, Alfredo
Pubblicazione: (2026)

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

Formally Certified Approximate Model Counting
di: Tan, Yong Kiam, et al.
Pubblicazione: (2024)

Rational Inference in Formal Concept Analysis
di: Carr, Lucas, et al.
Pubblicazione: (2025)

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

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

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
di: Kasaura, Kazumi, et al.
Pubblicazione: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

Learning Formal Mathematics From Intrinsic Motivation
di: Poesia, Gabriel, et al.
Pubblicazione: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
di: Dekhil, Nour, et al.
Pubblicazione: (2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
di: Kawamoto, Yusuke, et al.
Pubblicazione: (2024)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
di: Ileri, Atalay Mert, et al.
Pubblicazione: (2024)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
di: Wang, David, et al.
Pubblicazione: (2025)

Who is Afraid of Minimal Revision?
di: Baccini, Edoardo, et al.
Pubblicazione: (2025)

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

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
di: Yin, David, et al.
Pubblicazione: (2025)

StepProof: Step-by-step verification of natural language mathematical proofs
di: Hu, Xiaolin, et al.
Pubblicazione: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
di: Olson, Taylor
Pubblicazione: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)