Hugging Face model: m-a-p/OProver-8B-Base
Author: m-a-p
Created: 2026-05-15 07:08:54
Last modified: 2026-05-19 07:47:00
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 13
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