LLM逻辑推理缩放研究使用合成可验证谜题

Enigmata：用合成可验证谜题扩展大型语言模型的逻辑推理能力