LeanDojo : 一个开源精益游乐场
由用于定理证明的工具包、数据、模型和基准组成;还开发了 ReProver,这是一种基于 LLM 的检索增强证明器,用于使用庞大数学库中的前提进行定理求解。
未经允许不得转载:表盘吧 » LeanDojo : 一个开源精益游乐场
由用于定理证明的工具包、数据、模型和基准组成;还开发了 ReProver,这是一种基于 LLM 的检索增强证明器,用于使用庞大数学库中的前提进行定理求解。
未经允许不得转载:表盘吧 » LeanDojo : 一个开源精益游乐场