OProver-8B-Round2
m-a-p/OProver-8B-Round2
- kind
- original
- quant
- bf16 (16-bit)
- family
- misc
- modality
- text-generation
- root model
- m-a-p/OProver-8B-Round2
- provider
- m-a-p
- license
- apache-2.0
- language
- en
- context
- —
- library
- transformers
- vRAM (GB)
- —
- size on disk
- —
- downloads
- 15
- likes
- 0
- created
- —
- last modified
- 2026-05-19T07:50:27+00:00 (2026)
- huggingface
- https://huggingface.co/m-a-p/OProver-8B-Round2
- tags
- transformerssafetensorsqwen3text-generationlean4theorem-provingformal-mathematicsagenticretrieval-augmentedconversationalendataset:m-a-p/OProofsarxiv:2605.17283license:apache-2.0text-generation-inferenceendpoints_compatibleregion:us
Benchmark scores (0)
no scores extracted for this variant.
Discussions (0)
none scraped.