2 papers
cs.LG2025
DiFR: Inference Verification Despite Nondeterminism
Adam Karvonen, Daniel Reuter, Roy Rinberg +3
As demand for LLM inference grows, it is becoming increasingly important that providers and their customers can verify that inference processes are performed correctly, without err…
cs.CR2025
Verifying LLM Inference to Detect Model Weight Exfiltration
Roy Rinberg, Adam Karvonen, Alexander Hoover +2
As large AI models become increasingly valuable assets, the risk of model weight exfiltration from inference servers grows accordingly. An attacker controlling an inference server…