96 1 year ago

Llama 3 8B fine-tuned for Lean tactic prediction

Models

View all →

Readme

No readme