verify-ppt/marin-starcoderdata_alloy
Updated • 386
Verify PPT
community
AI & ML interests
None defined yet.
Recent Activity
View all activity
verify-ppt/marin-starcoderdata_agda
Updated • 379
verify-ppt/marin-starcoderdata_ada
Updated • 377
verify-ppt/marin-proof-pile-algebraic-stack
Updated • 7
verify-ppt/marin-proof-pile-open-web-math
Updated • 11
verify-ppt/marin-proof-pile-arxiv
Updated • 7
verify-ppt/marin-dclm_marin
Updated • 4
verify-ppt/ppt-shuff_dyck
Updated • 14
verify-ppt/olmo3-dolma3_mix
Updated • 225
verify-ppt/c4-c4
Updated • 449
verify-ppt/smollm3-stack-v2-JavaScript
Updated • 741
verify-ppt/smollm3-dclm
Updated • 257
verify-ppt/smollm3-stack-v2-Python
Updated • 304 • 1
verify-ppt/smollm3-stack-v2-TypeScript
Updated • 392
verify-ppt/smollm3-stack-v2-Swift
Updated • 312
verify-ppt/smollm3-stack-v2-SQL
Updated • 279
verify-ppt/smollm3-stack-v2-Shell
Updated • 100
verify-ppt/smollm3-stack-v2-Rust
Updated • 104
verify-ppt/smollm3-stack-v2-Ruby
Updated • 444
verify-ppt/smollm3-stack-v2-PHP
Updated • 300
verify-ppt/smollm3-stack-v2-Markdown
Updated • 355
verify-ppt/smollm3-stack-v2-Java
Updated • 776
verify-ppt/smollm3-stack-v2-HTML
Updated • 762
verify-ppt/smollm3-stack-v2-Go
Updated • 314
verify-ppt/smollm3-stack-v2-C-Sharp
Updated • 316
verify-ppt/smollm3-stack-v2-Cpp
Updated • 339
verify-ppt/smollm3-stack-v2-C
Updated • 429
verify-ppt/smollm3-github-issues
Updated • 392
verify-ppt/smollm3-wiki
Updated • 582
verify-ppt/smollm3-stackexchange
Updated • 4