TY  - RPRT
TI  - Correctness is Demanding, Performance is Frustrating
AU  - Artjoms Sinkarovs
AU  - Thomas Koopman
AU  - Sven-Bodo Scholz
PY  - 2024
UR  - https://arxiv.org/abs/2406.10405
ID  - 2406.10405
ER  -