ollama run zeyu-zheng/BFS-Prover-V2-7B
curl http://localhost:11434/api/chat \
-d '{
"model": "zeyu-zheng/BFS-Prover-V2-7B",
"messages": [{"role": "user", "content": "Hello!"}]
}'
from ollama import chat
response = chat(
model='zeyu-zheng/BFS-Prover-V2-7B',
messages=[{'role': 'user', 'content': 'Hello!'}],
)
print(response.message.content)
import ollama from 'ollama'
const response = await ollama.chat({
model: 'zeyu-zheng/BFS-Prover-V2-7B',
messages: [{role: 'user', content: 'Hello!'}],
})
console.log(response.message.content)