Text Generation
Transformers
Safetensors
English
qwen3
lean4
theorem-proving
formal-mathematics
agentic
retrieval-augmented
conversational
text-generation-inference
Instructions to use m-a-p/OProver-8B-Base with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use m-a-p/OProver-8B-Base with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="m-a-p/OProver-8B-Base") messages = [ {"role": "user", "content": "Who are you?"}, ] pipe(messages)# Load model directly from transformers import AutoTokenizer, AutoModelForCausalLM tokenizer = AutoTokenizer.from_pretrained("m-a-p/OProver-8B-Base") model = AutoModelForCausalLM.from_pretrained("m-a-p/OProver-8B-Base") messages = [ {"role": "user", "content": "Who are you?"}, ] inputs = tokenizer.apply_chat_template( messages, add_generation_prompt=True, tokenize=True, return_dict=True, return_tensors="pt", ).to(model.device) outputs = model.generate(**inputs, max_new_tokens=40) print(tokenizer.decode(outputs[0][inputs["input_ids"].shape[-1]:])) - Notebooks
- Google Colab
- Kaggle
- Local Apps
- vLLM
How to use m-a-p/OProver-8B-Base with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "m-a-p/OProver-8B-Base" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "m-a-p/OProver-8B-Base", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/m-a-p/OProver-8B-Base
- SGLang
How to use m-a-p/OProver-8B-Base with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "m-a-p/OProver-8B-Base" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "m-a-p/OProver-8B-Base", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "m-a-p/OProver-8B-Base" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "m-a-p/OProver-8B-Base", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }' - Docker Model Runner
How to use m-a-p/OProver-8B-Base with Docker Model Runner:
docker model run hf.co/m-a-p/OProver-8B-Base
File size: 1,524 Bytes
0bcd337 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 | {
"</think>": 151668,
"</tool_call>": 151658,
"</tool_response>": 151666,
"<dream>": 151682,
"<dream_end>": 151684,
"<dream_start>": 151683,
"<im_end>": 151681,
"<im_patch>": 151679,
"<im_start>": 151680,
"<patch_end>": 151690,
"<patch_newline>": 151691,
"<patch_start>": 151689,
"<think>": 151667,
"<tool_call>": 151657,
"<tool_response>": 151665,
"<video_end>": 151688,
"<video_start>": 151687,
"<|BOT|>": 151670,
"<|CALL_END|>": 151672,
"<|CALL_START|>": 151671,
"<|EOT|>": 151669,
"<|IMG_END|>": 151676,
"<|IMG_START|>": 151675,
"<|MASK_1e69f|>": 151685,
"<|META_END|>": 151678,
"<|META_START|>": 151677,
"<|THINK_END|>": 151674,
"<|THINK_START|>": 151673,
"<|UNMASK_1e69f|>": 151686,
"<|box_end|>": 151649,
"<|box_start|>": 151648,
"<|endoftext|>": 151643,
"<|file_sep|>": 151664,
"<|fim_middle|>": 151660,
"<|fim_pad|>": 151662,
"<|fim_prefix|>": 151659,
"<|fim_suffix|>": 151661,
"<|im_end|>": 151645,
"<|im_start|>": 151644,
"<|image_pad|>": 151655,
"<|object_ref_end|>": 151647,
"<|object_ref_start|>": 151646,
"<|quad_end|>": 151651,
"<|quad_start|>": 151650,
"<|repo_name|>": 151663,
"<|video_pad|>": 151656,
"<|vision_end|>": 151653,
"<|vision_pad|>": 151654,
"<|vision_start|>": 151652,
"<|begin▁of▁mask|>": 151693,
"<|begin▁of▁sentence|>": 151692,
"<|end▁of▁mask|>": 151694,
"<|end▁of▁sentence|>": 151697,
"<|fim▁begin|>": 151695,
"<|fim▁hole|>": 151696
}
|