Sledgehammer Training Compilation