verify-ppt/ppt-logic_mixed
Updated • 106
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
verify-ppt/ppt-logic_first_order
Updated • 147
verify-ppt/ppt-logic_propositional
Updated • 188
verify-ppt/ppt-logic_term
Updated • 590
verify-ppt/ppt-nca
Updated • 158
verify-ppt/ppt-mpstructcore_v2
Updated • 169
verify-ppt/ppt-mpstructcore
Updated • 716
verify-ppt/finewebedu-finewebedu_30b
Updated • 121
verify-ppt/marin-dclm_marin_103b
Updated • 596
verify-ppt/c4-c4_65
Updated • 166
verify-ppt/marin-baseline_v3
Updated • 184
verify-ppt/smollm3-baseline_v3
Updated • 509
verify-ppt/olmo3-dolma3_mix_baseline_v2
Updated • 61
verify-ppt/marin-baseline_v2
Updated • 61
verify-ppt/smollm3-baseline_v2
Updated • 155
verify-ppt/olmo3-dolma3_mix_baseline
Updated • 98
verify-ppt/c4-c4_baseline
Updated • 89
verify-ppt/ppt-shuff_dyck_v2
Updated • 55
verify-ppt/ppt-set_v2
Updated • 122
verify-ppt/ppt-set
Updated • 108
verify-ppt/ppt-shuff_dyck_default
Updated • 175
verify-ppt/marin-starcoderdata_zig
Updated • 79
verify-ppt/marin-starcoderdata_yaml
Updated • 37
verify-ppt/marin-starcoderdata_yacc
Updated • 359
verify-ppt/marin-starcoderdata_xslt
Updated • 13
verify-ppt/marin-starcoderdata_visual-basic
Updated • 719
verify-ppt/marin-starcoderdata_vhdl
Updated • 415
verify-ppt/marin-starcoderdata_verilog
Updated • 405
verify-ppt/marin-starcoderdata_typescript
Updated • 42
verify-ppt/marin-starcoderdata_thrift
Updated • 278