I'll concede that "ripped everything" was written as a strong emotional reaction. But you are also exaggerating; there were a lot of novel ideas that we worked through used here. I'd point you to our choice of UD-Q4 and rules for how to convert to integers as a starting point.
Re:Provable Inference
by Betelbuddy on Thursday November 05, 2026 @08:04AM
(#50378610)
You should have used Bedrock...no sharing of inputs with model providers ;-)
What original ideas are in VerInf that is also in this work besides the choice of benchmark?