qfq/eidata_djdagger_dev20241103_041140_iter1
Viewer
• Updated
• 115k • 6
qfq/eidata_djdagger_dev20241103_035712_iter1
Viewer
• Updated
• 115k • 5
qfq/eidata_djdagger_dev20241103_034126_iter1
Viewer
• Updated
• 115k • 6
qfq/eidata_djdagger_dev20241103_032644_iter1
Viewer
• Updated
• 115k • 6
qfq/eidata_newscript_dev20241102_221115_iter2_0
Viewer
• Updated
• 6
qfq/eidata_newscript_dev20241102_235235_iter2_3
Viewer
• Updated
• 6
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
• 5
qfq/eidata_newscript_dev20241102_235235_iter1
Viewer
• Updated
• 115k • 5
qfq/eidata_newscript_dev20241102_221115_iter2_9
Viewer
• Updated
• 6
qfq/eidata_newscript_dev20241102_221115_iter2_8
Viewer
• Updated
• 6
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
• 4
qfq/eidata_newscript_dev20241102_221115_iter2_4
Viewer
• Updated
• 6
qfq/eidata_newscript_dev20241102_221115_iter2_3
Viewer
• Updated
• 6
qfq/eidata_newscript_dev20241102_221115_iter2_2
Viewer
• Updated
• 6
qfq/eidata_newscript_dev20241102_221115_iter2_1
Viewer
• Updated
• 6
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 • 6
qfq/eidata_newscript_dev20241102_210332_iter1
Viewer
• Updated
• 115k • 6
qfq/cotmath_metamath_curatedcot
Viewer
• Updated
• 154k • 5
• 2
Viewer
• Updated
• 1.55M • 5
qfq/eidata_dagger_20241027_010023_iter2_0
Viewer
• Updated
• 6
qfq/metamath_refined_step_sft
qfq/cotmath_metamath_refinedstep
Viewer
• Updated
• 1.15M • 5
Viewer
• Updated
• 120k • 15
• 1
Viewer
• Updated
• 1.55M • 9