qfq/eidata_djdagger_dev20241103_041140_iter1
Viewer
• Updated • 115k • 22
qfq/eidata_djdagger_dev20241103_035712_iter1
Viewer
• Updated • 115k • 17
qfq/eidata_djdagger_dev20241103_034126_iter1
Viewer
• Updated • 115k • 22
qfq/eidata_djdagger_dev20241103_032644_iter1
Viewer
• Updated • 115k • 13
qfq/eidata_newscript_dev20241102_221115_iter2_0
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_235235_iter2_3
Viewer
• Updated • 8
qfq/eidata_newscript_dev20241102_235235_iter2_2
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_235235_iter2_1
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_235235_iter2_0
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_235235_iter1
Viewer
• Updated • 115k • 16
qfq/eidata_newscript_dev20241102_221115_iter2_9
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_221115_iter2_8
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_221115_iter2_7
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_221115_iter2_6
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_221115_iter2_5
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter2_4
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_221115_iter2_3
Viewer
• Updated • 4
qfq/eidata_newscript_dev20241102_221115_iter2_2
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_221115_iter2_1
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter1
Viewer
• Updated • 115k • 15
qfq/eidata_newscript_dev20241102_212932_iter1
Viewer
• Updated • 115k • 16
qfq/eidata_newscript_dev20241102_211901_iter1
Viewer
• Updated • 115k • 19
qfq/eidata_newscript_dev20241102_210332_iter1
Viewer
• Updated • 115k • 22
qfq/cotmath_metamath_curatedcot
Viewer
• Updated • 154k • 23
• 2
Viewer
• Updated • 1.55M • 48
qfq/eidata_dagger_20241027_010023_iter2_0
Viewer
• Updated • 4
qfq/metamath_refined_step_sft
qfq/cotmath_metamath_refinedstep
Viewer
• Updated • 1.15M • 44
Viewer
• Updated • 120k • 15
• 1
Viewer
• Updated • 1.55M • 57