:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Peng, Yebo, Liu, Zixiang, Li, Yaoming, Yang, Zhizhuo, Xu, Xinye, Ye, Bowen, Yuan, Weijun, Wang, Zihan, Yang, Tong
Format:	Preprint
Publié:	2025
Sujets:	Computation and Language Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2508.02208
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
par: Dekoninck, Jasper, et autres
Publié: (2025)

Proof of Time: A Benchmark for Evaluating Scientific Idea Judgments
par: Ye, Bingyang, et autres
Publié: (2026)

KeepKV: Achieving Periodic Lossless KV Cache Compression for Efficient LLM Inference
par: Tian, Yuxuan, et autres
Publié: (2025)

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
par: Huang, Yinya, et autres
Publié: (2024)

KVReviver: Reversible KV Cache Compression with Sketch-Based Token Reconstruction
par: Yuan, Aomufei, et autres
Publié: (2025)

Autograding Mathematical Induction Proofs with Natural Language Processing
par: Zhao, Chenyan, et autres
Publié: (2024)

Hierarchical Attention Generates Better Proofs
par: Chen, Jianlong, et autres
Publié: (2025)

ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
par: Gu, Alex, et autres
Publié: (2025)

Do We Need Frontier Models to Verify Mathematical Proofs?
par: Naik, Aaditya, et autres
Publié: (2026)

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

MobileBench-OL: A Comprehensive Chinese Benchmark for Evaluating Mobile GUI Agents in Real-World Environment
par: Wu, Qinzhuo, et autres
Publié: (2026)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
par: Hu, Jilin, et autres
Publié: (2025)

SalaMAnder: Shapley-based Mathematical Expression Attribution and Metric for Chain-of-Thought Reasoning
par: Xin, Yue, et autres
Publié: (2025)

The Proof is in the Almond Cookies
par: van Trijp, Remi, et autres
Publié: (2025)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
par: Yang, Sen, et autres
Publié: (2023)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
par: Ravi, Nikil, et autres
Publié: (2026)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
par: Chakraborty, Saikat, et autres
Publié: (2024)

A Survey on Human-Centric LLMs
par: Wang, Jing Yi, et autres
Publié: (2024)

MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
par: Opedal, Andreas, et autres
Publié: (2024)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
par: He, Linyang, et autres
Publié: (2026)

Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages
par: Chen, Zui, et autres
Publié: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
par: Wang, Ziyu, et autres
Publié: (2025)

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
par: Schmitt, Johannes, et autres
Publié: (2025)

A Primer in Post-Training Reasoning Data: What We Know About How It Works
par: Li, Yaoming, et autres
Publié: (2026)

BELLS: A Framework Towards Future Proof Benchmarks for the Evaluation of LLM Safeguards
par: Dorn, Diego, et autres
Publié: (2024)

Hilbert: Recursively Building Formal Proofs with Informal Reasoning
par: Varambally, Sumanth, et autres
Publié: (2025)

AutoVerus: Automated Proof Generation for Rust Code
par: Yang, Chenyuan, et autres
Publié: (2024)

QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
par: An, Chenyang, et autres
Publié: (2026)

Aletheia tackles FirstProof autonomously
par: Feng, Tony, et autres
Publié: (2026)

Proof-RM: A Scalable and Generalizable Reward Model for Math Proof
par: Yang, Haotong, et autres
Publié: (2026)

An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems
par: Hao, Yuren, et autres
Publié: (2025)

Prediction Is All MoE Needs: Expert Load Distribution Goes from Fluctuating to Stabilizing
par: Cong, Peizhuang, et autres
Publié: (2024)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
par: Rahman, A M Muntasir, et autres
Publié: (2024)

Solving Inequality Proofs with Large Language Models
par: Lu, Pan, et autres
Publié: (2025)

Prove Your Point!: Bringing Proof-Enhancement Principles to Argumentative Essay Generation
par: Xiao, Ruiyu, et autres
Publié: (2024)

Automatic Generation of Question Hints for Mathematics Problems using Large Language Models in Educational Technology
par: Tonga, Junior Cedric, et autres
Publié: (2024)

How Far Are We? Systematic Evaluation of LLMs vs. Human Experts in Mathematical Contest in Modeling
par: Liu, Yuhang, et autres
Publié: (2026)

SGSimEval: A Comprehensive Multifaceted and Similarity-Enhanced Benchmark for Automatic Survey Generation Systems
par: Guo, Beichen, et autres
Publié: (2025)

Reliable Fine-Grained Evaluation of Natural Language Math Proofs
par: Ma, Wenjie, et autres
Publié: (2025)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
par: Bayazıt, Barış, et autres
Publié: (2025)