Skip to content

Actions: alok/SciLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(jaxpr): add Metal shader codegen for kernel fusion Lean Action CI #28: Commit c8fdd6a pushed by alok
6h 0m 21s master
master
6h 0m 21s
feat(TensorMGPU): add layout-aware GPU tensor operations Lean Action CI #27: Commit 5240df6 pushed by alok
6h 0m 20s master
master
6h 0m 20s
test: add numerical gradient verification for backward ops Lean Action CI #26: Commit 3af7129 pushed by alok
6h 0m 19s master
master
6h 0m 19s
bench: add BLAS benchmarks with W&B logging Lean Action CI #25: Commit fc8d1e9 pushed by alok
6h 0m 21s master
master
6h 0m 21s
test: add BLAS verification tests with formula checks Lean Action CI #24: Commit 064c931 pushed by alok
6h 0m 18s master
master
6h 0m 18s
fix: remove hardcoded LeanBLAS relative path Lean Action CI #23: Commit 858a68b pushed by alok
6h 0m 19s master
master
6h 0m 19s
chore: switch local deps to git dependencies Lean Action CI #22: Commit 6ff0329 pushed by alok
6h 0m 19s master
master
6h 0m 19s
test: rename gpu tensor test module Lean Action CI #21: Commit 2f04b01 pushed by alok
46s v2025.12.27
v2025.12.27
46s
test: rename gpu tensor test module Lean Action CI #20: Commit 2f04b01 pushed by alok
50s master
master
50s
Merge branch 'metal-backend' into alokbeniwal/alok-64-merge-metal-bac… Lean Action CI #19: Commit c8ef808 pushed by alok
44s master
master
44s
Add Metal GPU backend with MNIST training (98.2% accuracy) Lean Action CI #18: Commit 56ebf8c pushed by alok
35s pr/gpu-metal-v2
pr/gpu-metal-v2
35s
Build fixes and Lean 4.26 compatibility Lean Action CI #17: Commit 1db6ee3 pushed by alok
1m 18s pr/build-fixes
pr/build-fixes
1m 18s
Add ML infrastructure (TensorBackend, .npy support) Lean Action CI #16: Commit 29436a0 pushed by alok
18m 30s pr/ml-infra
pr/ml-infra
18m 30s
Add Verso documentation site Lean Action CI #15: Commit 0d8af8f pushed by alok
17m 27s pr/verso-docs
pr/verso-docs
17m 27s
Add LazyTensor compiler (tinygrad-inspired) Lean Action CI #14: Commit 3c9b82d pushed by alok
19m 8s pr/lazy-tensor
pr/lazy-tensor
19m 8s
Add Metal GPU backend with MNIST training (98.2% accuracy) Lean Action CI #13: Commit 89e5175 pushed by alok
17m 46s pr/gpu-metal-clean
pr/gpu-metal-clean
17m 46s
Add Metal GPU backend with MNIST training (98.2% accuracy) Lean Action CI #12: Commit d810f70 pushed by alok
19m 6s pr/gpu-metal
pr/gpu-metal
19m 6s
Merge pull request #1 from alok/cuda-backend Lean Action CI #11: Commit fd27bb5 pushed by alok
48s master
master
48s
GPU/Metal backend with MNIST training (98.2% accuracy) Lean Action CI #10: Pull request #1 opened by alok
48s cuda-backend
cuda-backend
48s
Add mini-batch training with GPU buffer slicing Lean Action CI #9: Commit 43b1bc6 pushed by alok
37s cuda-backend
cuda-backend
37s
refactor: AXPY/AXPBY use ByteArray for all params (zero-copy FFI) Lean Action CI #8: Commit 94a059f pushed by alok
54s upgrade-v4.26.0-rc2
upgrade-v4.26.0-rc2
54s
pages build and deployment pages-build-deployment #5: by alok
46s upgrade-v4.26.0-rc2
upgrade-v4.26.0-rc2
46s
feat: MPS GEMM integration achieving 12.3 TFLOP/s Lean Action CI #7: Commit 8e7b533 pushed by alok
57s upgrade-v4.26.0-rc2
upgrade-v4.26.0-rc2
57s
pages build and deployment pages-build-deployment #4: by alok
35s upgrade-v4.26.0-rc2
upgrade-v4.26.0-rc2
35s
feat: Add Verso documentation site with type-safe neural network exam… Lean Action CI #6: Commit e88f42f pushed by alok
57s upgrade-v4.26.0-rc2
upgrade-v4.26.0-rc2
57s