Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Arkoudas, Konstantine, Batzoglou, Serafim
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

Investigations into Proof Structures
por: Wernhard, Christoph, et al.
Publicado: (2023)

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

An Undecidability Proof for the Plan Existence Problem
por: Achilleos, Antonis
Publicado: (2026)

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

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

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

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

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

On Formally Undecidable Traits of Intelligent Machines
por: Fox, Matthew
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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