数学

工具软件

Llemma: 数学 LLM

Llemma: 数学 LLM 开源 LLM,用于在最多 200B 个数学文本标记上进行训练的数学LLM。Llemma 34B 的性能接近 Google 的 Minerva 62B,尽管其参数只有一半。使用Proof-Pile-2,一种混合科学论文、包含数学内容的网络数据和数学代码,从而产生Llemma。在MATH基准测试中,Llemma在等参数基础上优于所有...
赞 (0)阅读(236)
工具软件

Llemma: 数学 LLM

Llemma: 数学 LLM 开源 LLM,用于在最多 200B 个数学文本标记上进行训练的数学LLM。Llemma 34B 的性能接近 Google 的 Minerva 62B,尽管其参数只有一半。使用Proof-Pile-2,一种混合科学论文、包含数学内容的网络数据和数学代码,从而产生Llemma。在MATH基准测试中,Llemma在等参数基础上优于所有...
赞 (0)阅读(229)
工具软件

OpenAI 在playground上做数学

您是否尝试过使用 OpenAI playground 求解 x? 例如,求解 x: 3 x + 4 = 66 首先,您将带有x的项隔离到左侧,如下所示: 3 x + (4 – 4) = 66 – 4 然后: 3 x = 62 得到结果: x = 62 / 3 ……简单吧?不幸的是,您不会总是从Playground获得相同的结果。 我们...
赞 (0)阅读(778)