ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952_gemini_3_pro_grader Viewer • Updated 1 day ago • 1.92k • 11
ars22/imoproofbench_n4_t8_rc_qwen3_4b_thinking_2507_proof-20260112-064952 Viewer • Updated 1 day ago • 4.08k • 21
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169_gemini_3_pro_grader Viewer • Updated 12 days ago • 1.92k • 8
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100_gemini_3_pro_grader Viewer • Updated 12 days ago • 1.92k • 15
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_nodelimiter_1767628100 Viewer • Updated 12 days ago • 3.84k • 20
ars22/imoproofbench_n4_t8_l32k2k_v03.00step000500_withdelimiter_1767594169 Viewer • Updated 13 days ago • 3.84k • 16
ars22/imoproofbench_n1_t8_l32k2k_v03.00step000500_1767581185 Viewer • Updated 13 days ago • 3.84k • 20