像搭乐高一样做数学定理证实题，GPT-3.5证实成功率达新SOTA
中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条严格推理的典范，数学推理被认为是衡量谈话模型推理能力的重要基准，GSM8K 和 MATH 等数学文字课题（math word problem）数据集被广泛应用于谈话模型的测评和比较中。事实上，数学作为一项科学研究并不仅仅包括计算具体实例，还包括推演一般性的定理。不同于…- 6
- 0
LEGO-Prover
扫码打开当前页
- ￥优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×