law smollm2_1_7b_sizes
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
177law smollm2_1_7b_sizes:
178 {Cfg.dim(smollm2_1_7b()) == 2048n : Nat} & {Cfg.heads(smollm2_1_7b()) == 32n : Nat} & {Cfg.head(smollm2_1_7b()) == 64n : Nat} & {Cfg.kvw(smollm2_1_7b()) == 2048n : Nat}
Uses (8)
Used by (0)
No other definition uses this definition.