Hugging Face model: m-a-p/OProver-32B
Author: m-a-p
Created: 2026-05-15 11:42:05
Last modified: 2026-05-19 08:03:37
Pipeline: text-generation
Library: transformers
Likes: 3 | Downloads: 209
Tags: transformers, safetensors, qwen3, text-generation, lean4, theorem-proving, formal-mathematics, agentic, retrieval-augmented, conversational, en, dataset:m-a-p/OProofs, arxiv:2605.17283, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Card metadata:
license: apache-2.0
language: en
library_name: transformers
pipeline_tag: text-generation
tags: lean4, theorem-proving, formal-mathematics, agentic, retrieval-augmented
datasets: m-a-p/OProofs