wellecks

Models GitHub Discord Docs Cloud

Sign in Download

Models Download GitHub Discord Docs Cloud Sign in

wellecks

ntpctx-llama3-8b

Llama 3 8B fine-tuned for Lean tactic prediction

96 Pulls 1 Tag Updated 1 year ago

© 2025 Ollama

Download Blog Docs GitHub Discord X (Twitter) Contact Us

Blog
Download
Docs

GitHub
Discord
X (Twitter)
Meetups

© 2025 Ollama Inc.