热点
"Lean-STaR" 相关文章
CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA
智源社区 2024-08-10T15:52:37.000000Z
CMU清华教LLM练成数学高手，LeanSTaR训练模型边思考边证明，登顶新SOTA
36kr-科技 2024-08-09T07:36:33.000000Z
How can Informal Reasoning Improve Formal Theorem Proving? This AI Paper Introduces an AI Framework for Learning to Interleave Informal Thoughts with Steps of Formal Proving
MarkTechPost@AI 2024-07-21T04:48:45.000000Z