verify-ppt/ppt-c4_c4_3b_re
Updated
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
Organization Card
Stay tuned!
models 97
verify-ppt/ppt-olmo3_olmo3_3b_re
Updated
verify-ppt/ppt-smollm3_smollm3_3b_re
Updated
verify-ppt/ppt-mix_marin_3b
Updated
verify-ppt/ppt-marin_marin_3b_re
Updated
verify-ppt/marin_3b_seed2
Updated
verify-ppt/ppt_marin_3b_v2_seed3
Updated
verify-ppt/ppt-olmo3_olmo3_1b_re
Updated
verify-ppt/ppt-smollm3_smollm3_1b_re
Updated
verify-ppt/ppt-marin_marin_1b_re
Updated
datasets 145
verify-ppt/ppt-logic_mixed
Updated • 106
verify-ppt/ppt-logic_first_order
Updated • 150
verify-ppt/ppt-logic_propositional
Updated • 190
verify-ppt/ppt-logic_term
Updated • 591
verify-ppt/ppt-nca
Updated • 144
verify-ppt/ppt-mpstructcore_v2
Updated • 154
verify-ppt/ppt-mpstructcore
Updated • 376
verify-ppt/finewebedu-finewebedu_30b
Updated • 90
verify-ppt/marin-dclm_marin_103b
Updated • 538
verify-ppt/c4-c4_65
Updated • 92