Bootstrapping and sample splitting for high-dimensional, assumption-lean inference | Synapse