AI 研究综述：形式化定理证明、在线蒸馏、Minecraft 自主游玩与记忆评测基准

一份 AI 研究综述汇总了四篇论文，分别涉及形式化定理证明、在线蒸馏、Minecraft 中的自主游玩，以及记忆评测基准。内容以论文速览形式呈现，未给出具体模型、参数或分数等细节。