VeriThinker

让模型学会自我验证,推理更快更准

开源 🏷️完全免费 🔧 仅开源项目,无在线服务,需自行部署 开源模型 🍴 复刻 1 🐛 待处理 2 👀 关注 1
GitHub ↗
GitHub 星标 ★ 69
维护状态 低维护
是否开源 开源
定价模式 🏷️完全免费 开源项目,MIT许可证,完全免费,可自行部署使用。

项目预览

VeriThinker 项目界面预览图
图片来源:GitHub 官方仓库名片

项目数据

分类开源模型
开发团队czg1225
定价模式🏷️完全免费
价格说明开源项目,MIT许可证,完全免费,可自行部署使用。
访问状态🔧 仅开源项目,无在线服务,需自行部署
是否开源是
开源协议MIT
主要语言Python
技术栈/模型deepseek-r1-distill-llama,deepseek-r1-distill-qwen,efficiency,fine-tuning,large-language-models,reasoning-models
GitHub 星标★ 69
上线时间2025-05-22 00:00:00
代码更新2025-09-27
仓库体积2.5 MB
本站数据更新2026-11-08
维护状态低维护
收录时间2026-08-09
浏览次数5

项目介绍

VeriThinker 是一个基于 NeurIPS 2025 论文的开源推理模型,旨在通过引入验证机制来提升大语言模型的推理效率。传统推理模型在生成答案时往往需要大量中间步骤,导致计算开销大且效率低。VeriThinker 的核心思想是让模型学会“验证”自己的推理过程,从而在保证准确性的前提下减少不必要的推理步骤,使推理更加高效。该项目提供了模型训练和推理的代码实现,基于 Python 技术栈,适合研究人员和开发者复现论文结果或进行二次开发。目前项目处于早期阶段,代码和文档正在完善中。

Star 增长趋势

本站每日记录该项目 GitHub 星标变化,观测越久曲线越完整

数据来源:GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 69

核心亮点

  • 提出新颖的验证机制,能显著减少推理步骤,提升效率
  • 基于 NeurIPS 2025 论文,理论扎实,学术价值高
  • 代码开源,便于复现和二次开发

不足之处

  • 项目处于早期,文档和社区支持待观察
  • 依赖特定训练流程,上手门槛可能较高

适用场景

  • 学术研究:复现论文实验,探索验证机制对推理效率的影响
  • 工业应用:在需要高效推理的场景(如实时问答、代码生成)中部署模型
  • 模型优化:作为基础模型,结合其他技术进一步优化推理性能

替代项目

DeepSeek-R1、OpenAI o1、Qwen-Math

上一篇:awesome-activation-engineering

下一篇:Long-RL

同类项目推荐

nano-world-model 开源

用扩散强制训练世界模型,让机器人看懂视频并规划动作。

A Minimalist, Batteries-included Repository for Advancing World Model Science.

★ 772 2026-08-09
vime 开源

用 vLLM 加速 LLM 强化学习后训练,采样更快、规模更大

An LLM post-training framework with vLLM for RL Scaling

★ 503 2026-10-07
lora-pilot 开源

一键启动 Docker,搞定 LoRA 训练与验证全流程

From dataset to trained LoRA to finished image or video. One browser workspace for y···

★ 91 2026-08-09
SimPO 开源

去掉参考模型,用更简单的公式让模型更懂人类偏好

[NeurIPS 2024] SimPO: Simple Preference Optimization with a Reference-Free Reward

★ 964 2026-08-09
OneGen 开源

一次前向传播,边生成边检索,让 LLM 知识问答更快更准。

[EMNLP 2024] OneGen: Efficient One-Pass Unified Generation and Retrieval for LLMs.

★ 149 2026-08-09
MirrorFlow 开源

对话喂出来的数字分身,越聊越像你自己。

从对话数据到训练:数字分身 + 模型蒸馏 From Dialogue Data to Training Closed-Loop: D···

★ 73 2026-08-09
Agent-FLAN 开源

让大模型学会用工具,微调数据与方法一键搞定

[ACL2024 Findings] Agent-FLAN: Designing Data and Methods of Effective Agent Tuning ···

★ 363 2026-08-09
CausalMM 开源

破解注意力因果,减少多模态模型瞎编乱造

[ICLR 2025] Mitigating Modality Prior-Induced Hallucinations in Multimodal Large Lan···

★ 67 2026-08-09