Llama 3 8B fine-tuned for Lean tactic prediction
8B
52 Pulls Updated 2 months ago
1 Tag
c7deb0f09aff • 8.5GB •
Updated 2 months ago