Formal Verification of Neural Certificates Done Dynamically