@article{difrinferenceverificationdespitenondeter,
  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},
  eprint = {2511.20621},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2511.20621},
}