Skip to content

feat(libtorch): piecewise-linear table lookup composed from float32 primitives - #34

Open
NicolasRouquette wants to merge 2 commits into
lean-dojo:mainfrom
NicolasRouquette:libtorch-table-lookup
Open

NicolasRouquette wants to merge 2 commits into
lean-dojo:mainfrom
NicolasRouquette:libtorch-table-lookup

fix(libtorch): clamp table positions again in the integer domain

11d1e3a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Build project
succeeded Oct 19, 2026 in 2h 25m 6s