kschweig/Qwen2.5-7B-Instruct_proofwriter_seed0_popsize30_msFalse_20260401_135528 8B • Updated 6 days ago • 12
kschweig/Qwen2.5-3B-Instruct_proofwriter_seed0_popsize30_msFalse_20260328_203835 3B • Updated 6 days ago • 10
kschweig/Llama-3.2-3B-Instruct_proofwriter_seed2_popsize30_msFalse_20260501_103059 3B • Updated 6 days ago • 33
kschweig/Llama-3.2-3B-Instruct_proofwriter_seed1_popsize30_msFalse_20260501_082717 3B • Updated 6 days ago • 33
kschweig/Llama-3.2-3B-Instruct_proofwriter_seed0_popsize30_msFalse_20260501_055633 3B • Updated 6 days ago • 42