Hacker News new | past | comments | ask | show | jobs | submit
keeda | on: Progress on provable inference for large language models
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.