标签：游乐场

2023-07-0533编辑阅读(240)评论(0)赞(0)

LeanDojo ： 一个开源精益游乐场 由用于定理证明的工具包、数据、模型和基准组成；还开发了 ReProver，这是一种基于 LLM 的检索增强证明器，用于使用庞大数学库中的前提进行定理求解。