TY  - RPRT
TI  - Is this correct? Let's check!
AU  - Omri Ben-Eliezer
AU  - Dan Mikulincer
AU  - Elchanan Mossel
AU  - Madhu Sudan
PY  - 2026
UR  - https://arxiv.org/abs/2211.12301
ID  - 2211.12301
ER  -