TY  - RPRT
TI  - Shorter and faster than Sort3AlphaDev
AU  - Cassio Neri
PY  - 2023
UR  - https://arxiv.org/abs/2307.14503
ID  - 2307.14503
ER  -