TY  - RPRT
TI  - Automated Verification of Hamiltonian Simulation by Quantum Signal Processing
AU  - Min Lai
AU  - Yu-Fang Chen
AU  - Shih-Han Hung
PY  - 2026
UR  - https://arxiv.org/abs/2610.39491
ID  - 2610.39491
ER  -