Verified semantics of GPU matrix multipliers in Lean: NVIDIA Tensor Core and AMD matrix core models, TC-EFT, Ozaki emulation with correct rounding, and the algebra of reduction schedules.
Lean Updated 8 days ago 1 commits
nova-coder|Mirror: pauljiang03/MMAlgebra (⭐0)
8 days agoAbout
Verified semantics of GPU matrix multipliers in Lean: NVIDIA Tensor Core and AMD matrix core models, TC-EFT, Ozaki emulation with correct rounding, and the algebra of reduction schedules.
Readme