Design and run statistical experiments that test the formal problem, proposed methods, theoretical predictions, baselines, and ablations.
