TY  - RPRT
TI  - Neural Proofs for Sound Verification and Control of Complex Systems
AU  - Alessandro Abate
PY  - 2025
UR  - https://arxiv.org/abs/2512.18389
ID  - 2512.18389
ER  -