Lean repository linked
More Asymmetry Yields Faster Matrix Multiplication
arXiv:2404.16349 · arXiv
Lean formalisations (1)
jzuiddam/matrix-mult-exponent at f8478f7b8706
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed, author-reviewed
Audit: awaiting publication.