Image de couverture de livre

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Yousefzadeh, Roozbeh, Cao, Xuenan
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Machine Learning 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

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
par: Ospanov, Azim, et autres
Publié: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
par: Wang, Ziyu, et autres
Publié: (2025)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
par: Zhang, Terry Jingchen, et autres
Publié: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
par: Yang, Kaiyu, et autres
Publié: (2024)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
par: Liu, Xinyu, et autres
Publié: (2026)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
par: Sälzer, Marco, et autres
Publié: (2024)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
par: Xie, Zixuan, et autres
Publié: (2026)

What are the Right Symmetries for Formal Theorem Proving?
par: Olejniczak, Krzysztof, et autres
Publié: (2026)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

LeanAgent: Lifelong Learning for Formal Theorem Proving
par: Kumarappan, Adarsh, et autres
Publié: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
par: Rao, Balaji, et autres
Publié: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
par: Dougherty, Quinn, et autres
Publié: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
par: Arkoudas, Konstantine, et autres
Publié: (2026)

Pseudo-Formalization for Automatic Proof Verification
par: Barkallah, Slim, et autres
Publié: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
par: Wu, Haoze, et autres
Publié: (2024)

A Neurosymbolic Approach to Natural Language Formalization and Verification
par: Bayless, Sam, et autres
Publié: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2023)

Hilbert: Recursively Building Formal Proofs with Informal Reasoning
par: Varambally, Sumanth, et autres
Publié: (2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
par: Thakur, Amitayush, et autres
Publié: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
par: Alamdari, Parand A., et autres
Publié: (2026)

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
par: Jiang, Jiedong, et autres
Publié: (2025)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
par: Han, Sangjun, et autres
Publié: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
par: Bourgaux, Camille, et autres
Publié: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
par: Nikooroo, Saleh, et autres
Publié: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

Intent-aligned Formal Specification Synthesis via Traceable Refinement
par: Ye, Zhe, et autres
Publié: (2026)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
par: Mohanty, Hansa, et autres
Publié: (2025)

Rational Inference in Formal Concept Analysis
par: Carr, Lucas, et autres
Publié: (2025)

On Formally Undecidable Traits of Intelligent Machines
par: Fox, Matthew
Publié: (2024)

Formally Certified Approximate Model Counting
par: Tan, Yong Kiam, et autres
Publié: (2024)

Formally Verified Approximate Policy Iteration
par: Schäffeler, Maximilian, et autres
Publié: (2024)

Learning Formal Mathematics From Intrinsic Motivation
par: Poesia, Gabriel, et autres
Publié: (2024)

Formalized Hopfield Networks and Boltzmann Machines
par: Cipollina, Matteo, et autres
Publié: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
par: Yanahama, Banri, et autres
Publié: (2026)

The Luna Bound Propagator for Formal Analysis of Neural Networks
par: LeCates, Henry, et autres
Publié: (2026)