wellecks / ntpctx-llama3-8b

Llama 3 8B fine-tuned for Lean tactic prediction

8B

52 Pulls Updated 2 months ago

... /
params
407983afa706 · 132B
{ "stop": [ "<|start_header_id|>", "<|end_header_id|>", "<|eot_id|>", "\"<|reserved_special_token\"" ] }