AI Feeds
动态
提出CriticLean方法，用批判指导强化学习实现数学形式化
AK
CriticLean
用于数学形式化的批判指导强化学习
动态
AK
2025-07-09
原文
打开互动版
相关内容
ICML 2026论文复现挑战，750+人参与，有GPU积分奖励
GPT-5.6因权限配置错误可能删除用户主目录
开源国产手柄平替Codex Micro，将手柄操作转成Codex操作
提醒ChatGPT重置券今晚到期
OpenAI卖篮球引发内部调侃
