Not sure if this is sufficient attribution, but TFA at least mentions VerInf:

> VerInf proved Llama 4 Maverick (the same 400B-parameter MoE model we prove) at ≈0.02 tok/s.