:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Lin, Yong, Tang, Shange, Lyu, Bohan, Yang, Ziran, Chung, Jui-Hui, Zhao, Haoyu, Jiang, Lai, Geng, Yihan, Ge, Jiawei, Sun, Jingruo, Wu, Jiayun, Gesi, Jiri, Lu, Ximing, Acuna, David, Yang, Kaiyu, Lin, Hongzhou, Choi, Yejin, Chen, Danqi, Arora, Sanjeev, Jin, Chi
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2508.03613
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover
por: Chung, Jui-Hui, et al.
Publicado: (2026)

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
por: Zhao, Haoyu, et al.
Publicado: (2025)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
por: Li, Zenan, et al.
Publicado: (2026)

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
por: Tian, Yuchen, et al.
Publicado: (2025)

Beyond Self-learned Attention: Mitigating Attention Bias in Transformer-based Models Using Attention Guidance
por: Gesi, Jiri, et al.
Publicado: (2024)

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
por: Ji, Xingguang, et al.
Publicado: (2025)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
por: Zhou, Xinyuan, et al.
Publicado: (2025)

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

Benign Overfitting in Out-of-Distribution Generalization of Linear Models
por: Tang, Shange, et al.
Publicado: (2024)

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
por: Liang, Zhenwen, et al.
Publicado: (2025)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
por: Shallit, Jeffrey
Publicado: (2023)

PhysProver: Advancing Automatic Theorem Proving for Physics
por: Zhang, Hanning, et al.
Publicado: (2026)

On the Goedel's formula
por: Ferreira, Jailton C.
Publicado: (2001)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
por: Chen, Luoxin, et al.
Publicado: (2025)

LESS: Selecting Influential Data for Targeted Instruction Tuning
por: Xia, Mengzhou, et al.
Publicado: (2024)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
por: Song, Peiyang, et al.
Publicado: (2024)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
por: Zhang, Jingyuan, et al.
Publicado: (2025)

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
por: Li, Yang, et al.
Publicado: (2024)

Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set
por: Wu, Yikai, et al.
Publicado: (2025)

"Not Just Me and My To-Do List": Understanding Challenges of Task Management for Adults with ADHD and the Need for AI-Augmented Social Scaffolds
por: Chen, Jingruo, et al.
Publicado: (2026)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
por: Dong, Kefan, et al.
Publicado: (2025)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
por: Xin, Ran, et al.
Publicado: (2025)

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
por: Zhao, Haoyu, et al.
Publicado: (2026)

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
por: Wu, Zijian, et al.
Publicado: (2024)

Deep Galerkin Method for Mean Field Control Problem
por: Sun, Jingruo
Publicado: (2022)

Goedel logics: Prenex fragments
por: Baaz, Matthias, et al.
Publicado: (2024)

Unintentional Unalignment: Likelihood Displacement in Direct Preference Optimization
por: Razin, Noam, et al.
Publicado: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
por: Lamont, Sean, et al.
Publicado: (2024)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
por: Hu, Jilin, et al.
Publicado: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
por: Li, Jinzheng, et al.
Publicado: (2026)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
por: Li, Mukai, et al.
Publicado: (2025)

Goedel Logics: On the Elimination of The Absoluteness Operator
por: Baaz, Matthias, et al.
Publicado: (2026)

Contextual Drag: How Errors in the Context Affect LLM Reasoning
por: Cheng, Yun, et al.
Publicado: (2026)

RETRACTED: Investigating how tamsulosin combined with levofloxacin impacts wound healing in patients with chronic prostatitis who may also have perineal or urethral wounds
por: Jingruo Yang, et al.
Publicado: (2024)

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
por: Chen, Jiangjie, et al.
Publicado: (2025)

Weakly Supervised Fine-grained Span-Level Framework for Chinese Radiology Report Quality Assurance
por: Wang, Kaiyu, et al.
Publicado: (2025)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
por: Li, Zenan, et al.
Publicado: (2025)

A Survey on Deep Learning for Theorem Proving
por: Li, Zhaoyu, et al.
Publicado: (2024)

Agentic Proving for Program Verification
por: Sosso, Alessandro, et al.
Publicado: (2026)