grind-tactic

标签

#grind-tactic

Lean 4 grind中的学习型干预

arXiv cs.LG ↗ · 2026-07-28 缓存

一篇研究论文，介绍了一种故障触发级联方法，用于将机器学习安全地集成到Lean 4的grind策略中，实现了效率提升并解决了之前无法解决的证明，且没有回归问题。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈