Assumption-lean and Data-adaptive Post-Prediction Inference