Verify PPT

community

AI & ML interests

None defined yet.

Recent Activity

atsuki-yamaguchi updated a model 2 days ago

verify-ppt/ppt-c4_c4_3b_re

atsuki-yamaguchi published a model 2 days ago

verify-ppt/ppt-c4_c4_3b_re

atsuki-yamaguchi updated a model 2 days ago

verify-ppt/ppt-olmo3_olmo3_3b_re

View all activity

Organization Card

Community About org cards

Stay tuned!

models 97

verify-ppt/ppt-c4_c4_3b_re

Updated 1 day ago

verify-ppt/ppt-olmo3_olmo3_3b_re

Updated 2 days ago

verify-ppt/ppt-smollm3_smollm3_3b_re

Updated 2 days ago

verify-ppt/ppt-mix_marin_3b

Updated 2 days ago

verify-ppt/ppt-marin_marin_3b_re

Updated 3 days ago

verify-ppt/marin_3b_seed2

Updated 7 days ago

verify-ppt/ppt_marin_3b_v2_seed3

Updated 8 days ago

verify-ppt/ppt-olmo3_olmo3_1b_re

Updated 8 days ago

verify-ppt/ppt-smollm3_smollm3_1b_re

Updated 8 days ago

verify-ppt/ppt-marin_marin_1b_re

Updated 8 days ago

datasets 145

verify-ppt/ppt-logic_mixed

Updated 22 days ago • 106

verify-ppt/ppt-logic_first_order

Updated 26 days ago • 149

verify-ppt/ppt-logic_propositional

Updated 26 days ago • 189

verify-ppt/ppt-logic_term

Updated 26 days ago • 590

verify-ppt/ppt-nca

Updated 30 days ago • 159

verify-ppt/ppt-mpstructcore_v2

Updated 30 days ago • 170

verify-ppt/ppt-mpstructcore

Updated Aug 26 • 383

verify-ppt/finewebedu-finewebedu_30b

Updated Aug 20 • 131

verify-ppt/marin-dclm_marin_103b

Updated Aug 20 • 610

verify-ppt/c4-c4_65

Updated Aug 20 • 165

View 145 datasets