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 • 23
qfq/eidata_djdagger_dev20241103_032644_iter1
Viewer
• Updated • 115k • 12
qfq/eidata_newscript_dev20241102_221115_iter2_0
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_235235_iter2_3
Viewer
• Updated • 9
qfq/eidata_newscript_dev20241102_235235_iter2_2
Viewer
• Updated • 7
qfq/eidata_newscript_dev20241102_235235_iter2_1
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_235235_iter2_0
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_235235_iter1
Viewer
• Updated • 115k • 18
qfq/eidata_newscript_dev20241102_221115_iter2_9
Viewer
• Updated • 7
qfq/eidata_newscript_dev20241102_221115_iter2_8
Viewer
• Updated • 5
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 • 6
qfq/eidata_newscript_dev20241102_221115_iter2_4
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter2_3
Viewer
• Updated • 5
qfq/eidata_newscript_dev20241102_221115_iter2_2
Viewer
• Updated • 7
qfq/eidata_newscript_dev20241102_221115_iter2_1
Viewer
• Updated • 6
qfq/eidata_newscript_dev20241102_221115_iter1
Viewer
• Updated • 115k • 14
qfq/eidata_newscript_dev20241102_212932_iter1
Viewer
• Updated • 115k • 17
qfq/eidata_newscript_dev20241102_211901_iter1
Viewer
• Updated • 115k • 32
qfq/eidata_newscript_dev20241102_210332_iter1
Viewer
• Updated • 115k • 19
qfq/cotmath_metamath_curatedcot
Viewer
• Updated • 154k • 35
• 2
Viewer
• Updated • 1.55M • 48
qfq/eidata_dagger_20241027_010023_iter2_0
Viewer
• Updated • 6
qfq/metamath_refined_step_sft
qfq/cotmath_metamath_refinedstep
Viewer
• Updated • 1.15M • 43
Viewer
• Updated • 120k • 16
• 1
Viewer
• Updated • 1.55M • 58