metadata
base_model: Goedel-LM/Goedel-Prover-V2-32B
license: apache-2.0
pipeline_tag: text-generation
library_name: mlx
tags:
- mlx
mlx-community/Goedel-Prover-V2-32B-8bit
This model mlx-community/Goedel-Prover-V2-32B-8bit was converted to MLX format from Goedel-LM/Goedel-Prover-V2-32B using mlx-lm version 0.29.1.
Use with mlx
pip install mlx-lm
from mlx_lm import load, generate
model, tokenizer = load("mlx-community/Goedel-Prover-V2-32B-8bit")
prompt = "hello"
if tokenizer.chat_template is not None:
messages = [{"role": "user", "content": prompt}]
prompt = tokenizer.apply_chat_template(
messages, add_generation_prompt=True
)
response = generate(model, tokenizer, prompt=prompt, verbose=True)