qfq/eidata_djdagger_dev20241103_041140_iter1
Viewer
• Updated • 115k • 3
qfq/eidata_djdagger_dev20241103_035712_iter1
Viewer
• Updated • 115k • 5
qfq/eidata_djdagger_dev20241103_034126_iter1
Viewer
• Updated • 115k • 4
qfq/eidata_djdagger_dev20241103_032644_iter1
Viewer
• Updated • 115k • 6
qfq/eidata_newscript_dev20241102_221115_iter2_0
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_235235_iter2_3
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_235235_iter2_2
Viewer
• Updated • 9
qfq/eidata_newscript_dev20241102_235235_iter2_1
Viewer
• Updated • 3
qfq/eidata_newscript_dev20241102_235235_iter2_0
Viewer
• Updated • 3
qfq/eidata_newscript_dev20241102_235235_iter1
Viewer
• Updated • 115k • 2
qfq/eidata_newscript_dev20241102_221115_iter2_9
Viewer
• Updated • 3
qfq/eidata_newscript_dev20241102_221115_iter2_8
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter2_7
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter2_6
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_221115_iter2_5
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_221115_iter2_4
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_221115_iter2_3
Viewer
• Updated • 9
qfq/eidata_newscript_dev20241102_221115_iter2_2
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_221115_iter2_1
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter1
Viewer
• Updated • 115k • 5
qfq/eidata_newscript_dev20241102_212932_iter1
Viewer
• Updated • 115k • 6
qfq/eidata_newscript_dev20241102_211901_iter1
Viewer
• Updated • 115k • 4
qfq/eidata_newscript_dev20241102_210332_iter1
Viewer
• Updated • 115k • 3
qfq/cotmath_metamath_curatedcot
Viewer
• Updated • 154k • 3
• 2
Viewer
• Updated • 1.55M • 4
qfq/eidata_dagger_20241027_010023_iter2_0
Viewer
• Updated • 3
qfq/metamath_refined_step_sft
qfq/cotmath_metamath_refinedstep
Viewer
• Updated • 1.15M • 3
Viewer
• Updated • 120k • 6
• 1
Viewer
• Updated • 1.55M • 5