Skip to content

Swap in PyTorch kernels for MHA#13

Closed
wadkisson wants to merge 3 commits into
lean-dojo:mainfrom
wadkisson:attention-pr
Closed

Swap in PyTorch kernels for MHA#13
wadkisson wants to merge 3 commits into
lean-dojo:mainfrom
wadkisson:attention-pr

delete duplicate header

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

Annotations

1 warning
Build project
succeeded Jul 7, 2026 in 1h 36m 16s