LeanDojo ： 一个开源精益游乐场

2024-07-29 分类：失联了 阅读(126) 评论(0)

Spacemesh-浏览器

LeanDojo ： 一个开源精益游乐场

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