96 1 year ago

Llama 3 8B fine-tuned for Lean tactic prediction