Llama 3 8B fine-tuned for Lean tactic prediction

8B

52 Pulls Updated 2 months ago

Readme

No readme