Models
GitHub
Discord
Docs
Cloud
Sign in
Download
Models
Download
GitHub
Discord
Docs
Cloud
Sign in
wellecks
/
ntpctx-llama3-8b
96
Downloads
Updated
1 year ago
Llama 3 8B fine-tuned for Lean tactic prediction
Llama 3 8B fine-tuned for Lean tactic prediction
Cancel
Name
1 model
Size
Context
Input
ntpctx-llama3-8b:latest
c7deb0f09aff
• 8.5GB • 8K context window •
Text input • 1 year ago
Text input • 1 year ago
ntpctx-llama3-8b:latest
8.5GB
8K
Text
c7deb0f09aff
· 1 year ago