Verifying LLM Inference to Prevent Model Weight Exfiltration. - Roy Rinberg; Adam Karvonen; Alex Hoover; Daniel Reuter; Keri Warr (CoRR, 2025)