96 1 year ago

Llama 3 8B fine-tuned for Lean tactic prediction

ollama run wellecks/ntpctx-llama3-8b

Models

View all →

Readme

No readme