Announcement_4

Created on July 13, 2025

2025

Our paper, “Formal Verification of Neural Certificates Done Dynamically”, was accepted to RV 2025! Hope to see you in Graz!