Image de couverture de livre

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Florath, Andreas
Format:	Preprint
Publié:	2024
Sujets:	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

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

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

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
par: Li, Sirui, et autres
Publié: (2025)

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

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

Partial Label Learning for Automated Theorem Proving
par: Zombori, Zsolt, et autres
Publié: (2025)

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

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
par: Lamont, Sean, et autres
Publié: (2024)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
par: Affeldt, Reynald, et autres
Publié: (2024)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
par: Liu, Chengwu, et autres
Publié: (2026)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
par: Vishwakarma, Rahul, et autres
Publié: (2023)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
par: Rao, Balaji, 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)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
par: Song, Peiyang, et autres
Publié: (2024)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
par: Lamont, Sean, et autres
Publié: (2024)

Twitch: Learning Abstractions for Equational Theorem Proving
par: Axelrod, Guy, et autres
Publié: (2026)

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

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
par: Dong, Kefan, et autres
Publié: (2025)

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
par: Zhao, Xueliang, et autres
Publié: (2024)

CoqPilot, a plugin for LLM-based generation of proofs
par: Kozyrev, Andrei, et autres
Publié: (2024)

Vibe Coding an LLM-powered Theorem Prover
par: Hou, Zhe
Publié: (2026)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
par: Rajaee, Sara, et autres
Publié: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2025)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
par: Liang, Zhenwen, et autres
Publié: (2025)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
par: Kim, Chang-Eop
Publié: (2024)

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

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
par: Kumar, Aman
Publié: (2024)

A Coq Formalization of Unification Modulo Exclusive-Or
par: Xu, Yichi, et autres
Publié: (2025)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
par: Gruteser, Jan, et autres
Publié: (2024)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
par: An, Chenyang, et autres
Publié: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
par: Foldvik, Simon
Publié: (2026)

On logic and generative AI
par: Gurevich, Yuri, et autres
Publié: (2024)

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

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

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

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

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

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