Spekulativ dekoding for store språkmodeller: Parer utkast og verifikator