Kimi vendor verifier – verify accuracy of inference providers

https://www.kimi.com/blog/kimi-vendor-verifier

by Alifatisk • 3 months ago

310 33 3 months ago

OsamaJaber• 3 months ago

Good to see this exist. Inference providers quietly swap quant levels. Most users never check. A standard verifier from the model maker is the right move, would love to see other labs ship the same

bobbiechen• 3 months ago

If I understand correctly, threat model here seems to be to protect against accidental issues that would impact performance, but doesn't cover malicious actor.

For example, Sketchy Provider tells you they are running the latest and greatest, but actually is knowingly running some cheaper (and worse) model and pocketing the difference. These tests wouldn't help since Sketchy Provider could detect when they're being tested and do the right thing (like the Volkswagen emissions scandal). Right?

j-bos• 3 months ago

Seems like a great challenge for all these systems, see fromtier labs serving quants when under hesvy load.

gpm• 3 months ago

Yes and no.

For a truly malicious actor, you're right. But it shifts it from "well we aren't obviously committing fraud by quantizing this model and not telling people" to "we're deliberately committing fraud by verifying our deployment with one model and then serving customer requests with another".

I suspect there's a lot of semi-malicious actors who are only happy to do the former.

nulltrace• 3 months ago

Catching accidental drift is still worth a lot. It's basically the same idea as performance regression tests in CI, nobody writes those because they expect sabotage. It's for the boring stuff, like "oops, we bumped a dep and throughput dropped 15%".

If someone actually goes out of their way to bypass the check, that's a pretty different situation legally compared to just quietly shipping a cheaper quant anyway.

jychang2• 3 months ago

Yeah, the threat model is nonexistent. Most people use a dozen or so well known providers, who have no incentives to so obviously cheat.

KeplerBoy• 3 months ago

Also it's not just about running an obviously worse quant.

Running different GPU kernels / inference engines also matters. It's easy to write an implementation that is faster and thus cheaper but numerically much noisier / less accurate.

frogperson• 3 months ago

Providers like OpenRouter default to the cheapest provider. They are often cheap because they are rediculously quantized and tuned for throughput, not quality.

This is probably kimi trying to protect their brand from bargain basement providers that dont properly represent what the models are capable of.

latchkey2• 3 months ago

This is probably kimi trying to protect their brand from bargain basement providers that dont properly represent what the models are capable of.

I'm curious what exactly they mean by this...

"because we learned the hard way that open-sourcing a model is only half the battle."

stingraycharles• 3 months ago

Openrouter has “exacto” verified models trying to combat this, but it seems like it’s not available for most of the models.

seism• 3 months ago

A test that runs for 15 hours on a high powered rig is going to be hard to reproduce or scale. But I think this addresses a widespread concern, which affects all kinds of cloud services. What you ping is not necessarily what you get.

Lalabadie• 3 months ago

You can run the whole suite once at the start for each vendor, then roll through each part of it over a two or four week cycle, mimicking regular use. That jeeps the evaluation up to date over time.

Majromax• 3 months ago

My reading of the article is that the first audience for this test is the vendors themselves. The test is long and comprehensive to give the vendor confidence in its own hosting.

curioussquirrel2• 3 months ago

After Anthropic, Moonshot is another model provider who restricts tweaking of sampling parameters. I do like the idea of the vendor verifier, though.

charcircuit2• 3 months ago

If the post training is done with specific sampling parameters it would make sense to only use the parameters it was trained with.

curioussquirrel2• 3 months ago

Yes, but post training cannot possibly account for all possible use cases. Sane defaults are fine, you can't really do much about sampling parameters in chatbots and coding harnesses anyway. And when making an API call, you have to actively change the parameter in your payload. I don't believe there's any real risk.

throwa356262• 3 months ago

What does "restricts tweaking of sampling parameters" mean?

yorwba• 3 months ago

"enforcing Temperature=1.0 and TopP=0.95 in Thinking mode, with mandatory validation that thinking content is correctly passed back."

foundry27• 3 months ago

I like this idea. This might be one of the more effective social pressures available for getting inference providers to fix long-standing issues. AWS Bedrock, for example, has crippling defects in its serving stack for Kimi’s K2 and K2.5 models that cause 20%-30% of attempts to emit tool calls to instead silently end the conversation (with no token output). That makes AWS effectively irrelevant as a serious inference provider for Kimi, and conveniently pushes users onto Bedrock’s significantly more expensive Anthropic models for comparable performance on agentic tasks.

jychang2• 3 months ago

It's old, Kimi's been doing this for months now.

https://github.com/MoonshotAI/K2-Vendor-Verifier

https://github.com/MoonshotAI/Kimi-Vendor-Verifier

Note, this is before K2.5 and K2.6 even launched.

gertlabs2• 3 months ago

This is real issue in our benchmarks. Beware of OpenRouter providers that don't specify quantizations or use lower ones than you might be expecting. OpenRouter does provide configuration options for this, and it often limits your options significantly. That being said, even with the best providers, Kimi-K2-thinking was underwhelming and slow on our benchmarks, albeit interesting and useful for temperature/variation.

Kimi K2.6, however, is the new open source leader, so far. Agentic evaluations still in progress, but one-shot coding reasoning benchmarks are ready at https://gertlabs.com/?mode=oneshot_coding

kristianp• 3 months ago

Openrouter has an "exacto" [1] option to favour higher quality providers for a given model. Have you found any benefits to using that?

Edit: Kimi K2 uses int4 during its training as well as inference [2]. I wonder if that affects the quality if different gguf creators may not convert these correctly?

[1] https://openrouter.ai/docs/guides/routing/model-variants/exa...

[2] https://www.reddit.com/r/LocalLLaMA/comments/1pzfuqg/why_kim...

gertlabs2• 3 months ago

I did not know about this! We've put a lot of effort into probing providers and their offerings and auto-selecting the best options. I wonder how well their exacto option works.

Going to test it out, thanks!

m1keil• 3 months ago

A related article from fireworks.ai about running open weights models and why such verifier needs to exists in the first place

https://fireworks.ai/blog/quality-first-with-kimi-k2p5

punkpeye• 3 months ago

Now this is brilliant.

I run an AI gateway (Glama), and we had to delist all third-party providers because some of them are obviously lying about their quantization.

Being able to vet providers would be a major improvement to our ability to offer a more diverse set of providers.

ossianericson• 3 months ago

Wondering if the verifier accounts for load induced variance, not just weight fidelity. Working on something recently where we sidestepped runtime inference entirely. Partly because even with identical weights, prefix caching and continuous batching can shift outputs enough on long-horizon tasks that you don't really know what you're measuring. A provider can pass on a quiet cluster and fail at 80% GPU utilization without touching the checkpoint.

cowartc• 3 months ago

The verifier isn't just a fraud detector. It's an admission that open weights alone aren't a shippable contract. Without a standardized verifier, a buyer has no way to know which case they're in. The weights are the easy part. The verification isn't.

_alphageek• 3 months ago

Once vendors optimize for 6 KVV benchmarks, they measure compliance with KVV, not model fidelity. Is there rotation strategy in place?

Kimi vendor verifier – verify accuracy of inference providers

Related Stories