为大语言模型提供大规模可验证逻辑推理数据的合成框架。

覆盖35种多样化的逻辑推理任务；可控难度生成，支持自定义参数；提供可验证奖励，助力强化学习

SynLogic | #框架