Imagen de Portada

Learning to Reason with Insight for Informal Theorem Proving

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Yunhe, Shi, Hao, Deng, Bowen, Wang, Wei, Ruan, Mengzhe, Hou, Hanxu, Dai, Zhongxiang, Gao, Siyang, Wang, Chao, Qiu, Shuang, Song, Linqi
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Computation and Language Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Reasoning Meets Personalization: Unleashing the Potential of Large Reasoning Model for Personalized Generation
por: Luo, Sichun, et al.
Publicado: (2025)

Accelerating Data Access for Single Node in Distributed Storage Systems via MDS Codes
por: Shi, Hao, et al.
Publicado: (2025)

RALLRec+: Retrieval Augmented Large Language Model Recommendation with Reasoning
por: Luo, Sichun, et al.
Publicado: (2025)

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

Error Correction Decoding Algorithms of RS Codes Based on An Earlier Termination Algorithm to Find The Error Locator Polynomial
por: Jiang, Zhengyi, et al.
Publicado: (2024)

Towards Quantum-Safe Federated Learning via Homomorphic Encryption: Learning with Gradients
por: Yan, Guangfeng, et al.
Publicado: (2024)

Improved Quantization Strategies for Managing Heavy-tailed Gradients in Distributed Learning
por: Yan, Guangfeng, et al.
Publicado: (2024)

Reed-Solomon Codes over Cyclic Polynomial Ring with Lower Encoding/Decoding Complexity
por: Liu, Wenhao, et al.
Publicado: (2024)

On Reasoning-Centric LLM-based Automated Theorem Proving
por: Sun, Yican, et al.
Publicado: (2026)

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

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
por: Zhang, Terry Jingchen, et al.
Publicado: (2025)

Learning From Correctness Without Prompting Makes LLM Efficient Reasoner
por: Yao, Yuxuan, et al.
Publicado: (2024)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
por: Cao, Chenrui, et al.
Publicado: (2025)

Dual-Robust Cross-Domain Offline Reinforcement Learning Against Dynamics Shifts
por: Qiao, Zhongjian, et al.
Publicado: (2025)

RALLRec: Improving Retrieval Augmented Large Language Model Recommendation with Representation Learning
por: Xu, Jian, et al.
Publicado: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
por: Zhang, Ziyin, et al.
Publicado: (2025)

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

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
por: Cao, Chuxue, et al.
Publicado: (2025)

Joint Design of Piggyback and Conjugate Transformation Functions for Repair Bandwidth Reduction in Piggybacking Codes
por: Shi, Hao, et al.
Publicado: (2026)

Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
por: Zheng, Xinyi, et al.
Publicado: (2025)

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
por: Gao, Guoxiong, et al.
Publicado: (2026)

OProver: A Unified Framework for Agentic Formal Theorem Proving
por: Ma, David, et al.
Publicado: (2026)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
por: Qiu, Ruichen, et al.
Publicado: (2026)

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

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

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

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
por: Xiong, Beibei, et al.
Publicado: (2025)

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

Benchmarking Testing in Automated Theorem Proving
por: Kim, Jongyoon, et al.
Publicado: (2026)

Automated Theorem Proving for Prolog Verification
por: Mesnard, Fred, et al.
Publicado: (2026)

Canonical for Automated Theorem Proving in Lean
por: Norman, Chase, et al.
Publicado: (2025)

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

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
por: Zheng, Chuanyang, et al.
Publicado: (2023)

Privacy in LLM-based Recommendation: Recent Advances and Future Directions
por: Luo, Sichun, et al.
Publicado: (2024)

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

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

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
por: Wu, Shaonan, et al.
Publicado: (2024)

On the Performance of Cloud-based ARM SVE for Zero-Knowledge Proving Systems
por: Loghin, Dumitrel, et al.
Publicado: (2025)

Insights into heat sensing and decoding from membrane to nucleus
por: Yunhe Wang, et al.
Publicado: (2026)

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