Skip to content

feat(libtorch): run the bridge on the host when the SDK is CPU-only - #36

Open
NicolasRouquette wants to merge 2 commits into
lean-dojo:mainfrom
NicolasRouquette:libtorch-cpu-device
Open

NicolasRouquette wants to merge 2 commits into
lean-dojo:mainfrom
NicolasRouquette:libtorch-cpu-device

docs(libtorch): say which results are bit-identical across the host a…

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

Annotations

1 warning
changes
succeeded Oct 4, 2026 in 6s