Update README.md
Browse files
README.md
CHANGED
|
@@ -261,6 +261,8 @@ agent_type = "agent"
|
|
| 261 |
system_prompt_id = "lean"
|
| 262 |
```
|
| 263 |
|
|
|
|
|
|
|
| 264 |
### Local Deployment
|
| 265 |
|
| 266 |
The model can also be deployed with the following libraries, we advise everyone to use the Mistral AI API if the model is subpar with local serving:
|
|
|
|
| 261 |
system_prompt_id = "lean"
|
| 262 |
```
|
| 263 |
|
| 264 |
+
A good repository to try out Leanstral could, *e.g.* be [PrimeNumberTheoremAnd](https://github.com/AlexKontorovich/PrimeNumberTheoremAnd).
|
| 265 |
+
|
| 266 |
### Local Deployment
|
| 267 |
|
| 268 |
The model can also be deployed with the following libraries, we advise everyone to use the Mistral AI API if the model is subpar with local serving:
|