Imagen de Portada

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Haoxiong, Sun, Jiacheng, Li, Zhenguo, Yao, Andrew C
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
por: Rao, Balaji, et al.
Publicado: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
por: Thakur, Amitayush, et al.
Publicado: (2025)

REFACTOR: Learning to Extract Theorems from Proofs
por: Zhou, Jin Peng, et al.
Publicado: (2024)

Neural Interactive Proofs
por: Hammond, Lewis, et al.
Publicado: (2024)

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
por: Huang, Yinya, et al.
Publicado: (2024)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
por: Wang, Ruida, et al.
Publicado: (2025)

miniCTX: Neural Theorem Proving with (Long-)Contexts
por: Hu, Jiewen, et al.
Publicado: (2024)

Hierarchical Attention Generates Better Proofs
por: Chen, Jianlong, et al.
Publicado: (2025)

Augmenting Math Word Problems via Iterative Question Composing
por: Liu, Haoxiong, et al.
Publicado: (2024)

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

PoGO: A Scalable Proof of Useful Work via Quantized Gradient Descent and Merkle Proofs
por: Orlicki, José I.
Publicado: (2025)

The Interaction Bottleneck of Deep Neural Networks: Discovery, Proof, and Modulation
por: Deng, Huiqi, et al.
Publicado: (2025)

Steering LLMs for Formal Theorem Proving
por: Kirtania, Shashank, et al.
Publicado: (2025)

Learning to Reason with Insight for Informal Theorem Proving
por: Li, Yunhe, et al.
Publicado: (2026)

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
por: Zimmer, Matthieu, et al.
Publicado: (2025)

PoLO: Proof-of-Learning and Proof-of-Ownership at Once with Chained Watermarking
por: Deng, Haiyu, et al.
Publicado: (2025)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
por: Lin, Yong, et al.
Publicado: (2025)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
por: Li, Chenyi, et al.
Publicado: (2026)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
por: Lin, Xiaohan, et al.
Publicado: (2024)

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization
por: Shi, Shuming, et al.
Publicado: (2025)

FairProof : Confidential and Certifiable Fairness for Neural Networks
por: Yadav, Chhavi, et al.
Publicado: (2024)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
por: Vishwakarma, Rahul, et al.
Publicado: (2023)

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically
por: Dong, Kefan, et al.
Publicado: (2024)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
por: George, Robert Joseph, et al.
Publicado: (2025)

What are the Right Symmetries for Formal Theorem Proving?
por: Olejniczak, Krzysztof, et al.
Publicado: (2026)

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
por: Baba, Kaito, et al.
Publicado: (2025)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
por: Gu, Alex, et al.
Publicado: (2025)

Sherry: Hardware-Efficient 1.25-Bit Ternary Quantization via Fine-grained Sparsification
por: Huang, Hong, et al.
Publicado: (2026)

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
por: LM-Provers, et al.
Publicado: (2026)

ProofSketch: Efficient Verified Reasoning for Large Language Models
por: Sheshanarayana, Disha, et al.
Publicado: (2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
por: Lin, Yong, et al.
Publicado: (2025)

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
por: Petrov, Ivo, et al.
Publicado: (2025)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
por: Lamont, Sean, et al.
Publicado: (2024)

LeanAgent: Lifelong Learning for Formal Theorem Proving
por: Kumarappan, Adarsh, et al.
Publicado: (2024)

Mathesis: Towards Formal Theorem Proving from Natural Languages
por: Xuejun, Yu, et al.
Publicado: (2025)

Implicit Search via Discrete Diffusion: A Study on Chess
por: Ye, Jiacheng, et al.
Publicado: (2025)

From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
por: Kiruluta, Andrew, et al.
Publicado: (2025)

Proving Theorems Recursively
por: Wang, Haiming, et al.
Publicado: (2024)

ZKLoRA: Efficient Zero-Knowledge Proofs for LoRA Verification
por: Roy, Bidhan, et al.
Publicado: (2025)

On the Shelf Life of Fine-Tuned LLM-Judges: Future-Proofing, Backward-Compatibility, and Question Generalization
por: Singh, Janvijay, et al.
Publicado: (2025)