ProtoReasoning 是一个旨在提升大语言模型推理能力的新框架，由字节跳动与上海交通大学联合开发。该框架通过结构化原型表示（如 Prolog 和 PDDL）来增强模型在逻辑推理和规划任务中的表现。其核心包括原型构建器和验证系统，分别负责将自然语言问题形式化并验证解答的正确性。实验结果显示，在经过高质量样本训练后，模型在多个基准测试中表现出显著提升，验证了结构化原型训练的有效性。未来研究将进一步探索推理原型的理论基础。