Hugging Face model: m-a-p/OProver-8B-Round2
Author: m-a-p
Created: 2026-05-15 11:54:21
Last modified: 2026-05-19 07:50:27
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 15
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