Source · Tier B · Preprint
DiFR: Inference Verification Despite Nondeterminism
A. Karvonen, D. Reuter, R. Rinberg, L. Marks, A. Garriga-Alonso, K. Warr. 2025. arXiv.
| Link | https://arxiv.org/abs/2511.20621 |
|---|---|
| DOI | 10.48550/arXiv.2511.20621 |
| arXiv | 2511.20621 |
| Accessed | 2026-09-23 |
| Imported from | hodgkins-ai-verification-papers@c71e59ff0e8e |
| Note | Listed under "Inference verification" in the Hodgkins bibliography (CC BY 4.0). |