AIbase

P

Proofgpt V0.1 6.7B

由 hoskinson-center 开发
ProofGPT-v0.1 是一个基于 GPT-NeoX 架构、拥有 67 亿参数的语言模型，训练数据来源于 proof-pile 数据集。
大型语言模型
Transformers
英语
开源协议:MIT#数学证明生成#大参数语言模型#学术研究专用
下载量 168
发布时间 : 4/25/2025
模型介绍
内容详情
替代品

模型简介

该模型以 pythia-6.7b 的权重进行初始化训练，主要用于文本生成任务，特别适用于数学证明相关的文本生成。

模型特点

基于 proof-pile 数据集训练
使用 proof-pile (v1.1) 数据集进行训练，特别适合数学证明相关的文本生成。
大参数规模
拥有 67 亿参数，具备强大的文本生成能力。
基于 GPT-NeoX 架构
采用先进的 GPT-NeoX 架构，性能与 pythia-6.9b 相近。

模型能力

文本生成
数学证明相关文本生成

使用案例

学术研究
数学证明生成
生成数学证明相关的文本