SynLogic

大规模合成可验证推理数据,让模型逻辑更聪明

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

项目预览

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

项目数据

分类开源模型
开发团队MiniMax-AI
定价模式🏷️完全免费
价格说明开源项目,MIT许可证,完全免费,无付费版本。
访问状态🔧 仅开源项目,无在线服务,需自行部署
是否开源是
开源协议MIT
主要语言Python
技术栈/模型large-language-models,llms,logical-reasoning,synlogic
GitHub 星标★ 211
上线时间2025-05-23 00:00:00
代码更新2025-07-07
仓库体积2.7 MB
本站数据更新2026-11-08
维护状态低维护
收录时间2026-08-09
浏览次数12

项目介绍

SynLogic 是一个 NeurIPS 2025 收录的开源项目,旨在通过大规模合成可验证的推理数据,来提升语言模型的逻辑推理能力。它解决了高质量推理数据稀缺、人工标注成本高且难以验证的问题,核心能力是自动生成带有严格逻辑验证的推理样本,并支持在多个推理任务上微调模型。项目提供了完整的数据合成流程、模型训练脚本和评估基准,帮助研究者和开发者快速构建更强的推理模型。

Star 增长趋势

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

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

核心亮点

  • 数据合成流程自动化,可扩展生成海量带验证的推理样本
  • 基于 NeurIPS 2025 论文,方法经过学术验证,可靠性高
  • 提供训练和评估脚本,开箱即用,降低复现门槛

不足之处

  • 早期项目,文档和社区支持待观察
  • 依赖特定数据合成模板,可能泛化到复杂推理场景有限

适用场景

  • 学术研究:复现论文结果,探索逻辑推理数据增强方法
  • 模型训练:为 LLM 生成高质量推理数据,提升数学/逻辑任务表现
  • 数据工程:构建可验证的推理数据集,用于评测或微调

替代项目

STaR、Self-Instruct、WizardLM

上一篇:kodcode

下一篇:learning-from-rewards-llm-papers

同类项目推荐

opendataloader-pdf 开源

把 PDF 变成 AI 能直接吃的数据,省去清洗烦恼

PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.

★ 30224 2026-08-09
OakInk2 开源

做双手操作AI?用OakInk2数据集训练更逼真的手物交互模型。

[CVPR 2024] OakInk2: A Dataset of Bimanual Hands-Object Manipulation in Complex Task···

★ 114 2026-08-09
Cosmos-Drive-Dreams 开源

用世界模型生成海量驾驶视频,低成本覆盖极端场景

Cosmos-Drive-Dreams: Scalable Synthetic Driving Data Generation with World Foundatio···

★ 556 2026-08-09
mtg-jamendo-dataset 开源

拿来即用的音乐打标签数据集与基线

Metadata, scripts and baselines for the MTG-Jamendo dataset

★ 415 2026-10-19
synergy-dataset 开源

用机器学习自动筛文献,系统综述省一半人力

SYNERGY - Open machine learning dataset on study selection in systematic reviews

★ 119 2026-09-21
aug-pe 开源

用大模型API生成隐私安全的合成文本数据

[ICML 2024 Spotlight] Differentially Private Synthetic Data via Foundation Model API···

★ 62 2026-08-09
OpenS2V-Nexus 开源

给视频生成模型做主体一致性大考,百万数据+标准评分

[NeurIPS 2025 D&B] OpenS2V-Nexus: A Detailed Benchmark and Million-Scale Dataset for···

★ 232 2026-08-09
bigset-oss 开源

自托管实时数据集,网页 agent 自动抓取持续更新

Open-source BigSet — self-hostable live datasets populated by TinyFish web agents

★ 1705 2026-09-21