law smollm2_360m_sizes
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
171law smollm2_360m_sizes:
172 {Cfg.dim(smollm2_360m()) == 960n : Nat} & {Cfg.heads(smollm2_360m()) == 15n : Nat} & {Cfg.head(smollm2_360m()) == 64n : Nat} & {Cfg.kvw(smollm2_360m()) == 320n : Nat}
Uses (8)
Used by (0)
No other definition uses this definition.