MerLean-Prover: A Recursive Looping Harness for End-to-End Lean 4 Theorem Proving 文章

ArXiv CS.CL2026-05-27NEWSen作者: Jinzheng Li, Zeru Zhu, Yuanjie Ren
查看原文 →
关系图谱

MerLean-Prover: A Recursive Looping Harness for End-to-End Lean 4 Theorem Proving · 相关技术

相关技术

ORMODEPLA递归自我改进远程代码执行（RCE）研究法辛烷值企业通用语义标准theorem provingWALStraight-Through EstimatorStanReferring expression comprehension (REC)RPAParts-of-Speech (POS) tagsOTAKernelForFOLANNAgentHarness