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

Commits

Commits on Jul 7, 2026