首页
最新资讯
苹果Apple
微软Microsoft
谷歌Google
工具软件
技术教程
工具集合
1111
ChatGPT
云东方
首页
定理
定理
工具软件
LeanDojo : 一个开源精益游乐场
LeanDojo : 一个开源精益游乐场 由用于定理证明的工具包、数据、模型和基准组成;还开发了 ReProver,这是一种基于 LLM 的检索增强证明器,用于使用庞大数学库中的前…
2023年7月5日