metadata
language: en
library_name: mlx
pipeline_tag: text-generation
tags:
- mlx
metareflection/dafny-annotator-modular-vfp-4B
Use with mlx
pip install mlx-lm
from mlx_lm import load, generate
model, tokenizer = load("metareflection/dafny-annotator-modular-vfp-4B")
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)