TY  - RPRT
TI  - QBX: A Compiler for Well-Formed, Auditable Alpha Programs
AU  - Yichong Bai
AU  - Kaigui Bian
PY  - 2026
DO  - 10.1145/3858063.3858768
UR  - https://arxiv.org/abs/2610.41689
ID  - 2610.41689
ER  -