Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4 文章

ArXiv CS.AI2026-05-26NEWSen作者: Austin Shen, Yunong Shi
查看原文 →
关系图谱

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4 · 相关技术

相关技术

ODEtheorem provingexecautomated theorem provingWALUCTStraight-Through EstimatorStanReferring expression comprehension (REC)REUSEHISForFOLFFIARGANN