Provably data-driven projection method for quadratic programming | Synapse