Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice. - Matthew L. Daggitt; Ekaterina Komendantskaya; Alistair Sirman; Alessandro Bruni; Samuel Teuber; Josh Smart; Grant Olney Passmore (CoRR, 2026)