Update README.md
Browse files
README.md
CHANGED
|
@@ -27,7 +27,7 @@ MLX 8-bit quantized version of [mistralai/Leanstral-2603](https://huggingface.co
|
|
| 27 |
```python
|
| 28 |
from mlx_vlm import load, generate
|
| 29 |
|
| 30 |
-
model, processor = load("
|
| 31 |
output = generate(model, processor, "Prove that the sum of two even numbers is even in Lean 4", max_tokens=4096)
|
| 32 |
print(output)
|
| 33 |
```
|
|
|
|
| 27 |
```python
|
| 28 |
from mlx_vlm import load, generate
|
| 29 |
|
| 30 |
+
model, processor = load("mlx-community/Leanstral-2603-8bit")
|
| 31 |
output = generate(model, processor, "Prove that the sum of two even numbers is even in Lean 4", max_tokens=4096)
|
| 32 |
print(output)
|
| 33 |
```
|