Ollama Models Api
Read the docs
Toggle theme
llama
wellecks/ntpctx-llama3-8b
Llama 3 8B fine-tuned for Lean tactic prediction
22 Pulls
12 days ago
1 Tags
Back to models