LeanDojo ： 一个开源精益游乐场
由用于定理证明的工具包、数据、模型和基准组成；还开发了 ReProver，这是一种基于 LLM 的检索增强证明器，用于使用庞大数学库中的前提进行定理求解。
原创文章，作者：校长，如若转载，请注明出处：https://www.yundongfang.com/Yun238507.html
微信扫一扫不于多少！ 
支付宝扫一扫礼轻情意重
开源人工智能至关重要：HF CEO 美国国会质询内容
上一篇
2023年7月5日
扩展LLMs的上下文窗口
下一篇
2023年7月5日