Posts tagged #attention

• Multi-Head Foldability: Scaling Verified Compilation

  May 3, 2026

  Lifting single-head RoPE proofs to multi-head bundles and residual wrappers in the Verified Neural Compilation project.

  #research #lean #rope #attention