Stav dette: Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials