-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: lean-dojo/TorchLean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(cuda): TexTable — layered 1-D lookup-table textures with point/hardware filtering
#24
opened Jul 24, 2026 by
NicolasRouquette
Contributor
Loading…
feat(cuda): fused scaledProdExp buffer op — exp((c·x)·y) in one kernel
#23
opened Jul 23, 2026 by
NicolasRouquette
Contributor
Loading…
feat(cuda): scoped device-memory arena (withCudaArena) + use-after-free detector
#22
opened Jul 23, 2026 by
NicolasRouquette
Contributor
Loading…
feat(cuda): bundle + auto-link the glibc≥2.38 isoc23 link shim
#18
opened Jul 16, 2026 by
NicolasRouquette
Contributor
Loading…
feat(cuda): bound the device block reuse cache with an env byte cap
#10
opened Jun 23, 2026 by
NicolasRouquette
Contributor
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.