:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Zichen, Ma, Wanli, Ming, Zhenyu, Zhang, Gong, Yuan, Kun, Wen, Zaiwen
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2602.17016
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

SITA: A Framework for Structure-to-Instance Theorem Autoformalization
by: Li, Chenyi, et al.
Published: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)

Formalizing Mathematics at Scale
by: Rammal, Ahmad, et al.
Published: (2026)

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
by: Long, Wentao, et al.
Published: (2026)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks
by: Ke, Zhifa, et al.
Published: (2024)

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

ODE-based Learning to Optimize
by: Xie, Zhonglin, et al.
Published: (2024)

Constructing Industrial-Scale Optimization Modeling Benchmark
by: Li, Zhong, et al.
Published: (2026)

Advancing Mathematical Research via Human-AI Interactive Theorem Proving
by: Li, Chenyi, et al.
Published: (2025)

M2A: Synergizing Mathematical and Agentic Reasoning in Large Language Models
by: Wang, Junjian, et al.
Published: (2026)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
by: Li, Sirui, et al.
Published: (2025)

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
by: Liu, Chengwu, et al.
Published: (2025)

ImF: Implicit Fingerprint for Large Language Models
by: Wu, Jiaxuan, et al.
Published: (2025)

Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
by: Zhou, Kuo, et al.
Published: (2025)

Towards Automated Formal Verification of Backend Systems with LLMs
by: Xu, Kangping, et al.
Published: (2025)

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought
by: Xie, Zichen, et al.
Published: (2026)

C2F-TP: A Coarse-to-Fine Denoising Framework for Uncertainty-Aware Trajectory Prediction
by: Wang, Zichen, et al.
Published: (2024)

Joint Optimization of Resource Allocation and Data Selection for Fast and Cost-Efficient Federated Edge Learning
by: Jia, Yunjian, et al.
Published: (2024)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
by: Sivakumar, Jasivan Alex, et al.
Published: (2025)

Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B
by: Zhang, Di, et al.
Published: (2024)

Iterative Formalization and Planning in Partially Observable Environments
by: Gong, Liancheng, et al.
Published: (2025)

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
by: Liu, Junqi, et al.
Published: (2026)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
by: Yang, Xiao-Wen, et al.
Published: (2025)

CHOPS: CHat with custOmer Profile Systems for Customer Service with LLMs
by: Shi, Jingzhe, et al.
Published: (2024)

Deep Literature Survey Automation with an Iterative Workflow
by: Zhang, Hongbo, et al.
Published: (2025)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)

Breaking Language Barriers in Multilingual Mathematical Reasoning: Insights and Observations
by: Chen, Nuo, et al.
Published: (2023)

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
by: Ren, Z. Z., et al.
Published: (2025)

Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
by: Ji, Shihao, et al.
Published: (2026)

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

AutoSurvey2: Empowering Researchers with Next Level Automated Literature Surveys
by: Wu, Siyi, et al.
Published: (2025)

SCOPE: Compress Mathematical Reasoning Steps for Efficient Automated Process Annotation
by: Xu, Huimin, et al.
Published: (2025)

Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
by: Tao, Yicheng, et al.
Published: (2025)

OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling
by: Lu, Hongliang, et al.
Published: (2025)

MathScale: Scaling Instruction Tuning for Mathematical Reasoning
by: Tang, Zhengyang, et al.
Published: (2024)

LMask: Learn to Solve Constrained Routing Problems with Lazy Masking
by: Li, Tianyou, et al.
Published: (2025)

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
by: Liu, Yuanhang, et al.
Published: (2025)