@misc{indiciae69a7d663152d, title = {DiFR: Inference Verification Despite Nondeterminism}, author = {Adam Karvonen and Daniel Reuter and Roy Rinberg and Luke Marks and AdriĆ  Garriga-Alonso and Keri Warr}, year = {2025}, url = {https://arxiv.org/abs/2511.20621}, note = {Source identifier: 2511.20621} }