# MiniMax-AI/SynLogic

<https://repo.masters-masters.com/en/repos/MiniMax-AI/SynLogic>

[Home](https://repo.masters-masters.com/en) › [MiniMax-AI](https://repo.masters-masters.com/en/owners/MiniMax-AI) › [SynLogic](https://repo.masters-masters.com/en/repos/MiniMax-AI/SynLogic)

MiniMax-AI/SynLogic has 211 stars on GitHub. Its RepoMasters card: Prototype tier. \[NeurIPS 2025\] The official repo of SynLogic: Synthesizing Verifiable…

| Field | Value |
| --- | --- |
| Owner | [MiniMax-AI](https://repo.masters-masters.com/en/owners/MiniMax-AI) |
| Stars | 211 |
| Forks | 22 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2025 |
| Topics | large-language-models, llms, logical-reasoning, synlogic |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [MiniMax-AI/SynLogic](https://github.com/MiniMax-AI/SynLogic) |

## Repository

\[NeurIPS 2025\] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by MiniMax-AI

- [MiniMax-AI/skills · ★ 13,764 · C\# · Stable](https://repo.masters-masters.com/en/repos/MiniMax-AI/skills)
- [MiniMax-AI/MiniMax-H3 · ★ 11,180 · Python · Stable](https://repo.masters-masters.com/en/repos/MiniMax-AI/MiniMax-H3)
- [MiniMax-AI/MiniMax-01 · ★ 3,469 · Python · RC](https://repo.masters-masters.com/en/repos/MiniMax-AI/MiniMax-01)
- [MiniMax-AI/MiniMax-M1 · ★ 3,186 · Python · RC](https://repo.masters-masters.com/en/repos/MiniMax-AI/MiniMax-M1)
- [MiniMax-AI/Mini-Agent · ★ 3,070 · Python · RC](https://repo.masters-masters.com/en/repos/MiniMax-AI/Mini-Agent)
- [MiniMax-AI/MiniMax-M2 · ★ 2,603 · RC](https://repo.masters-masters.com/en/repos/MiniMax-AI/MiniMax-M2)

## Nearby in Python

- [vanzll/DiffusionART · ★ 211 · Python · Prototype](https://repo.masters-masters.com/en/repos/vanzll/DiffusionART)
- [empero-org/brewery-ai · ★ 211 · Python · Prototype](https://repo.masters-masters.com/en/repos/empero-org/brewery-ai)
- [Pluviobyte/dot2api · ★ 211 · Python · Prototype](https://repo.masters-masters.com/en/repos/Pluviobyte/dot2api)
- [theanti9/PyCrawler · ★ 211 · Python · Prototype](https://repo.masters-masters.com/en/repos/theanti9/PyCrawler)
- [jamesturk/scrapelib · ★ 211 · Python · Prototype](https://repo.masters-masters.com/en/repos/jamesturk/scrapelib)
- [hypernumbers/learn\_elisp\_the\_hard\_way · ★ 211 · Python · Prototype](https://repo.masters-masters.com/en/repos/hypernumbers/learn_elisp_the_hard_way)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.