TY - RPRT TI - On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit AU - Cica Gustiani AU - Dominik Leichtle AU - Daniel Mills AU - Jonathan Miller AU - Ross Grassie AU - Elham Kashefi PY - 2025 UR - https://arxiv.org/abs/2410.24133 ID - 2410.24133 ER -