Sparse Cholesky factorization for solving nonlinear PDEs via Gaussian processes | Synapse