A Verified Compiler for Quantum Simulation. - Liyi Li 002; Fenfen An; Federico Zahariev; Zhi Xiang Chong; Amr Sabry; Mark S. Gordon (CoRR, 2025)