Example

invalid_sgd_shape.kina

Expected rejection

This program is intentionally invalid. The compiler should reject its type or shape.

Source

let w = tensor<F32, [4, 8], @host> in
let g = tensor<F32, [4, 8], @host> in
let lr = tensor<F32, [1, 1], @host> in
w - lr * g