Hugging Face's logo

Snapkitty
/
sparse-router-formal

Rust
snapkitty
october-2026-drop
pascal
lean4
c
kani
work-stealing
scheduler
formal-verification
Model card Files
xet
 Community
sparse-router-formal
626 kB
  • 1 contributor
 History: 3 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Model card: restore full README from GitHub, add commercial license option
4ce526e verified