01

基本信息

模型仓库：m-a-p/OProver-32B-Base
组织：m-a-p
任务：文本生成

02

架构与运行信息

模型类型：qwen3
架构：Qwen3ForCausalLM
支持库：transformer, safetensors, pytorch
基础模型：未提供
当前修订：master

03

许可与更新时间

许可：apache-2.0
创建日期：2026-05-16
最近更新：2026-05-21

lean4theorem-provingformal-mathematicsagenticretrieval-augmented
04

硬件需求

尚未在本地填写。

05

下载地址

尚未在本地填写。

06

基本使用示例

尚未在本地填写。