Formally Verified Physics-Informed Neural Control Lyapunov Functions | Read Paper on Bytez