№minif2f·concept
MiniF2F
别名
- 首次出现
- 2026-06-05
- 最近出现
- 2026-07-22
- 累计提及
- 15
§ 01综述
§ 02相关报道10 条在档
- 01自改进智能体应共同进化基准，新论文展示效果
- 02MistralAI 发布 Leanstral 1.5，119B MoE 证明智能体创多项基准纪录
- 03面向数学形式化证明：Mistral AI 发布 Leanstral 1.5 低使用成本开源模型
- 04Mistral 开源 Leanstral 1.5，在形式化数学基准中表现出色且发现真实代码漏洞
- 05Mistral AI发布Leanstral 1.5：Apache-2.0的Lean 4代码Agent可解587道Putnam题
- 06信号覆盖矩阵：语句自动形式化中的类型与语义错误分层
- 07过程验证强化学习在Lean定理证明中的应用
- 08Diffusion-Proof：超越自回归生成的形式定理证明新框架
- 09Pythagoras-Prover：高效形式化证明，4B模型超越DeepSeek-Prover-V2-671B
- 10Goedel-Architect：通过蓝图生成与精炼实现形式化定理证明新突破
§ 03邻近话题