GPU-Accelerated Search for Fast Matrix Multiplication over F 2
cs.SC, cs.DS
Submitted: 2026-06-22
Updated: 2026-10-26
Related papers
- Automatic Certified Differentiation in Lean
- One Loss Resolves Signed Rank-One Gradient Fibers: Exact Decoding on Cycle and Theta Blocks
- Deterministic Root-Finding over Finite Fields with Elliptic Curves
- An algorithmic construction of Nullstellensatz certificates for graph automorphism groups
- The Indefinite Summation Problem for the Laurent Ring
- Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking