# SynLogic [[MiniMax]] が開発した論理推論データ合成フレームワーク(Liu+ 2025a)。暗号やスドク等 41 種の論理推論タスクについて、タスク固有のデータジェネレータとルールベースの検証器を実装し、自動的に訓練データを生成する。[[MiniMax-M1]] の RL 訓練では約 53K の論理推論サンプルを合成。難易度は現行の強い推論モデルの pass@10 > 0 を上限、ベースモデルの pass 率 0〜0.5 を下限として設定し、訓練の進行に伴い後段で難度を引き上げる。 ## 出典 - [[@2025__arXiv__MiniMax-M1 - Scaling Test-Time Compute Efficiently with Lightning Attention]]（§4.1 Logical Reasoning）