California Institute of Technology（加州理工学院）

Knowledge-Centric Self-Improvement

以知识为中心的自我改进

Xuefei Julie Wang, Lauren Hyoseo Yoon, Chengrui Qu, Amanda Zichang Wang, Atharva Sehgal, Eric Mazumdar, Yisong Yue

机构 * Caltech（加州理工学院） 纠错

AI总结 研究以知识为中心的自我改进范式，通过简单协议让智能体尝试任务后为知识库贡献见解并提炼知识，提高了解决率、降低成本，且知识可转移，表明进步可由持久知识驱动。

ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers

ITPEval：跨交互式定理证明器的形式化翻译基准测试

Jiayi Wu, Robert Joseph George, Anima Anandkumar

机构 * Brown University（布朗大学） ； California Institute of Technology（加州理工学院） 纠错

AI总结 研究形式定理证明生态系统分散问题，提出ITPEval基准测试，涵盖四个主要交互式定理证明器及两种逻辑基础，评估语句和证明翻译，揭示库不匹配是瓶颈，发布相关基础设施和管道，展示多方面评估结果。

Comments 23 pages