Copertina

StepFun-Prover Preview: Let's Think and Verify Step by Step

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Shang, Shijie, Wan, Ruosi, Peng, Yue, Wu, Yutong, Chen, Xiong-hui, Yan, Jie, Zhang, Xiangyu
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
di: Wu, Yutong, et al.
Pubblicazione: (2025)

Let's Verify Math Questions Step by Step
di: Shen, Chengyu, et al.
Pubblicazione: (2025)

Can We Generate Images with CoT? Let's Verify and Reinforce Image Generation Step by Step
di: Guo, Ziyu, et al.
Pubblicazione: (2025)

LightThinker: Thinking Step-by-Step Compression
di: Zhang, Jintian, et al.
Pubblicazione: (2025)

Can We Verify Step by Step for Incorrect Answer Detection?
di: Xu, Xin, et al.
Pubblicazione: (2024)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
di: Chen, Luoxin, et al.
Pubblicazione: (2026)

DeepRAG: Thinking to Retrieve Step by Step for Large Language Models
di: Guan, Xinyan, et al.
Pubblicazione: (2025)

Whiteboard-of-Thought: Thinking Step-by-Step Across Modalities
di: Menon, Sachit, et al.
Pubblicazione: (2024)

Stephanie2: Thinking, Waiting, and Making Decisions Like Humans in Step-by-Step AI Social Chat
di: Yang, Hao, et al.
Pubblicazione: (2026)

Let's Fuse Step by Step: A Generative Fusion Decoding Algorithm with LLMs for Robust and Instruction-Aware ASR and OCR
di: Hsu, Chan-Jan, et al.
Pubblicazione: (2024)

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

From Single-Step Edit Response to Multi-Step Molecular Optimization
di: Rao, Haojie, et al.
Pubblicazione: (2026)

Making Slow Thinking Faster: Compressing LLM Chain-of-Thought via Step Entropy
di: Li, Zeju, et al.
Pubblicazione: (2025)

Read Before You Think: Mitigating LLM Comprehension Failures with Step-by-Step Reading
di: Han, Feijiang, et al.
Pubblicazione: (2025)

Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
di: Andrade, Moises, et al.
Pubblicazione: (2025)

StepOPSD: Step-Aware Online Preference Distillation for Agent Reinforcement Learning
di: Zhang, Yanfei, et al.
Pubblicazione: (2026)

AtomThink: Multimodal Slow Thinking with Atomic Step Reasoning
di: Xiang, Kun, et al.
Pubblicazione: (2024)

Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective
di: Jia, Zeyu, et al.
Pubblicazione: (2025)

An Empirical Study of Reasoning Steps in Thinking Code LLMs
di: Xue, Haoran, et al.
Pubblicazione: (2025)

Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
di: Xin, Ran, et al.
Pubblicazione: (2025)

Do Latent-CoT Models Think Step-by-Step? A Mechanistic Study on Sequential Reasoning Tasks
di: Liang, Jia, et al.
Pubblicazione: (2026)

Think Step by Step: Chain-of-Gesture Prompting for Error Detection in Robotic Surgical Videos
di: Shao, Zhimin, et al.
Pubblicazione: (2024)

Watch Every Step! LLM Agent Learning via Iterative Step-Level Process Refinement
di: Xiong, Weimin, et al.
Pubblicazione: (2024)

Step-Audio-EditX Technical Report
di: Yan, Chao, et al.
Pubblicazione: (2025)

Step Guided Reasoning: Improving Mathematical Reasoning using Guidance Generation and Step Reasoning
di: Cao, Lang, et al.
Pubblicazione: (2024)

Rewarding What Matters: Step-by-Step Reinforcement Learning for Task-Oriented Dialogue
di: Du, Huifang, et al.
Pubblicazione: (2024)

DSFlow: Dual Supervision and Step-Aware Architecture for One-Step Flow Matching Speech Synthesis
di: Lin, Bin, et al.
Pubblicazione: (2026)

QueryGym: Step-by-Step Interaction with Relational Databases
di: Ananthakrishnan, Haritha, et al.
Pubblicazione: (2025)

Graph-Augmented Reasoning: Evolving Step-by-Step Knowledge Graph Retrieval for LLM Reasoning
di: Wu, Wenjie, et al.
Pubblicazione: (2025)

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs
di: Lai, Xin, et al.
Pubblicazione: (2024)

Video-of-Thought: Step-by-Step Video Reasoning from Perception to Cognition
di: Fei, Hao, et al.
Pubblicazione: (2024)

Every Step Evolves: Scaling Reinforcement Learning for Trillion-Scale Thinking Model
di: Ling Team, et al.
Pubblicazione: (2025)

StepMathAgent: A Step-Wise Agent for Evaluating Mathematical Processes through Tree-of-Error
di: Yang, Shu-Xun, et al.
Pubblicazione: (2025)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
di: Wang, Haiming, et al.
Pubblicazione: (2025)

Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations
di: Wang, Peiyi, et al.
Pubblicazione: (2023)

Do LLMs Really Think Step-by-step In Implicit Reasoning?
di: Yu, Yijiong
Pubblicazione: (2024)

Multi-Step Likelihood-Ratio Correction for Reinforcement Learning with Verifiable Rewards
di: Yoon, Deokgyu, et al.
Pubblicazione: (2026)

Mind Your Step (by Step): Chain-of-Thought can Reduce Performance on Tasks where Thinking Makes Humans Worse
di: Liu, Ryan, et al.
Pubblicazione: (2024)

Step-by-Step Mastery: Enhancing Soft Constraint Following Ability of Large Language Models
di: Ren, Qingyu, et al.
Pubblicazione: (2025)

RuPLaR : Efficient Latent Compression of LLM Reasoning Chains with Rule-Based Priors From Multi-Step to One-Step
di: Luo, Xiaocheng, et al.
Pubblicazione: (2026)