verify-ppt/marin_3b_re
Updated
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
Organization Card
Stay tuned!
models 81
verify-ppt/c4_3b_re
Updated
verify-ppt/ppt-mpstructcore_smollm3_3b_v2
Updated
verify-ppt/ppt-nca_smollm3_3b
Updated
verify-ppt/ppt-nca_olmo3_3b
Updated
verify-ppt/ppt_olmo3_3b_v2_re
Updated
verify-ppt/ppt_smollm3_3b_v2_re
Updated
verify-ppt/ppt-mpstructcore_olmo3_3b_v2
Updated
verify-ppt/ppt-set_smollm3_3b_v2
Updated
verify-ppt/ppt-nca_marin_3b
Updated
datasets 145
verify-ppt/ppt-logic_mixed
Updated • 98
verify-ppt/ppt-logic_first_order
Updated • 92
verify-ppt/ppt-logic_propositional
Updated • 107
verify-ppt/ppt-logic_term
Updated • 405
verify-ppt/ppt-nca
Updated • 123
verify-ppt/ppt-mpstructcore_v2
Updated • 90
verify-ppt/ppt-mpstructcore
Updated • 414
verify-ppt/finewebedu-finewebedu_30b
Updated • 167
verify-ppt/marin-dclm_marin_103b
Updated • 237
verify-ppt/c4-c4_65
Updated • 298