base.py 30.3 KB
Newer Older
Leo Gao's avatar
Leo Gao committed
1
import abc
2
from typing import Iterable
thefazzer's avatar
thefazzer committed
3
import numpy as np
4
import random
Leo Gao's avatar
Leo Gao committed
5
import re
6
7
8
import os
import json
import hashlib
Jonathan Tow's avatar
Jonathan Tow committed
9
import datasets
10
from sqlitedict import SqliteDict
11
from tqdm import tqdm
12
import torch
Leo Gao's avatar
Leo Gao committed
13
import torch.nn.functional as F
&'s avatar
& committed
14

15
from lm_eval.metrics import mean, weighted_perplexity, weighted_mean, bits_per_byte
16
from lm_eval import utils
17
from abc import abstractmethod
Jason Phang's avatar
gpt3  
Jason Phang committed
18

Jason Phang's avatar
Jason Phang committed
19

Leo Gao's avatar
Leo Gao committed
20
class LM(abc.ABC):
Leo Gao's avatar
Leo Gao committed
21
22
23
    def __init__(self):
        self.cache_hook = CacheHook(None)

24
    @abstractmethod
Leo Gao's avatar
Leo Gao committed
25
    def loglikelihood(self, requests):
Leo Gao's avatar
Leo Gao committed
26
        """Compute log-likelihood of generating a continuation from a context.
Fabrizio Milo's avatar
Fabrizio Milo committed
27
        Downstream tasks should attempt to use loglikelihood instead of other
Leo Gao's avatar
Leo Gao committed
28
        LM calls whenever possible.
Jason Phang's avatar
gpt3  
Jason Phang committed
29

Leo Gao's avatar
Leo Gao committed
30
31
32
        :param requests: list
            A list of pairs (context, continuation)
            context: str
Fabrizio Milo's avatar
Fabrizio Milo committed
33
                Context string. Implementations of LM must be able to handle an
Leo Gao's avatar
Leo Gao committed
34
                empty context string.
Leo Gao's avatar
Leo Gao committed
35
            continuation: str
Fabrizio Milo's avatar
Fabrizio Milo committed
36
37
                The continuation over which log likelihood will be calculated. If
                there is a word boundary, the space should be in the continuation.
Leo Gao's avatar
Leo Gao committed
38
39
40
41
                For example, context="hello" continuation=" world" is correct.
        :return: list
            A list of pairs (logprob, isgreedy)
            logprob: float
Jason Phang's avatar
Jason Phang committed
42
                The log probability of `continuation`
Leo Gao's avatar
Leo Gao committed
43
            isgreedy:
Jason Phang's avatar
Jason Phang committed
44
45
46
47
                Whether `continuation` would be generated by greedy sampling from `context`
        """
        pass

48
    @abstractmethod
Leo Gao's avatar
Leo Gao committed
49
    def loglikelihood_rolling(self, requests):
Jason Phang's avatar
Jason Phang committed
50
51
52
53
        """Compute full log-likelihood of a string, with no truncation, for perplexity computation
        - We will use the full max context length of the model.
        - For inputs that exceed the max context length, we divide the tokenized string into chunks of up to
        the max context length.
Fabrizio Milo's avatar
Fabrizio Milo committed
54
        - IMPORTANT: Each document's loglikelihood/perplexity is computed *separately*, unlike other implementations
Jason Phang's avatar
Jason Phang committed
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
          which may simply concatenate multiple documents together.
        - IMPORTANT: We maximize the amount of context for each prediction. Specifically, for inputs that we break into
          multiple chunks, the last input will still a full-sized context.
          Example:
            Input tokens: [ 0 1 2 3 4 5 6 7 8 9 ]
            Prefix: EOT
            Max context length: 4
            Resulting input/prediction pairs:

                INPUT:  EOT   0   1   2
                PRED:     0   1   2   3

                INPUT:    3   4   5   6
                PRED:     4   5   6   7

                INPUT:    5   6   7   8
                PRED:             8   9

          Observe that:
            1. Each token is predicted exactly once
            2. For the last pair, we provide the full context, but only score the last two tokens

        :param requests: list
            A list of strings
            string: str
                String for which we are computing per-toke  loglikelihood
        :return: list
            A list of pairs (logprob, isgreedy)
            logprob: float
                The log probability of `continuation`
            isgreedy:
                Whether `continuation` would be generated by greedy sampling from `context`
Leo Gao's avatar
Leo Gao committed
87
88
89
        """
        pass

&'s avatar
& committed
90
    # TODO: Add an optional max length
91
    @abstractmethod
Leo Gao's avatar
Update  
Leo Gao committed
92
    def greedy_until(self, requests):
Leo Gao's avatar
Leo Gao committed
93
94
95
96
97
98
        """Generate greedily until a stopping sequence

        :param requests: list
            A list of pairs (context, until)
            context: str
                Context string
Leo Gao's avatar
Leo Gao committed
99
            until: [str]
Fabrizio Milo's avatar
Fabrizio Milo committed
100
                The string sequences to generate until. These string sequences
Leo Gao's avatar
Leo Gao committed
101
                may each span across multiple tokens, or may be part of one token.
Leo Gao's avatar
Leo Gao committed
102
103
104
105
        :return: list
            A list of strings continuation
            continuation: str
                The generated continuation.
Jason Phang's avatar
gpt3  
Jason Phang committed
106
        """
Leo Gao's avatar
Leo Gao committed
107
108
        pass

Jason Phang's avatar
gpt3  
Jason Phang committed
109
    @classmethod
110
111
    def create_from_arg_string(cls, arg_string, additional_config=None):
        additional_config = {} if additional_config is None else additional_config
112
113
114
        args = utils.simple_parse_args_string(arg_string)
        args2 = {k: v for k, v in additional_config.items() if v is not None}
        return cls(**args, **args2)
Jason Phang's avatar
gpt3  
Jason Phang committed
115

Leo Gao's avatar
Leo Gao committed
116
117
118
    def set_cache_hook(self, cache_hook):
        self.cache_hook = cache_hook

Leo Gao's avatar
Leo Gao committed
119

120
class BaseLM(LM):
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
    @property
    @abstractmethod
    def eot_token_id(self):
        pass

    @property
    @abstractmethod
    def max_length(self):
        pass

    @property
    @abstractmethod
    def max_gen_toks(self):
        pass

    @property
    @abstractmethod
    def batch_size(self):
        pass

    @property
    @abstractmethod
    def device(self):
        pass

146
    @abstractmethod
Fabrizio Milo's avatar
Fabrizio Milo committed
147
148
149
    def tok_encode(self, string: str):
        pass

150
    @abstractmethod
Fabrizio Milo's avatar
Fabrizio Milo committed
151
152
    def tok_decode(self, tokens: Iterable[int]):
        pass
Jason Phang's avatar
gpt3  
Jason Phang committed
153

154
    @abstractmethod
Fabrizio Milo's avatar
Fabrizio Milo committed
155
156
    def _model_generate(self, context, max_length, eos_token_id):
        pass
Jason Phang's avatar
gpt3  
Jason Phang committed
157

158
159
    @abstractmethod
    def _model_call(self, inps):
Jason Phang's avatar
gpt3  
Jason Phang committed
160
        """
161
162
        inps: a torch tensor of shape [batch, sequence]
        the size of sequence may vary from call to call
Jason Phang's avatar
gpt3  
Jason Phang committed
163

164
        returns: a torch tensor of shape [batch, sequence, vocab] with the
165
        logits returned from the model
166
167
        """
        pass
168

Leo Gao's avatar
Leo Gao committed
169
    # subclass must implement properties vocab_size, eot_token_id, max_gen_toks, batch_size, device, max_length.
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
    # TODO: enforce this somehow

    def loglikelihood(self, requests):
        new_reqs = []
        for context, continuation in requests:
            if context == "":
                # end of text as context
                context_enc = [self.eot_token_id]
            else:
                context_enc = self.tok_encode(context)

            continuation_enc = self.tok_encode(continuation)

            new_reqs.append(((context, continuation), context_enc, continuation_enc))

        return self._loglikelihood_tokens(new_reqs)

    def loglikelihood_rolling(self, requests):
        # TODO: Implement caching once we've confirmed the perplexity implementation
        # TODO: automatic batch size detection for vectorization

        loglikelihoods = []
Fabrizio Milo's avatar
Fabrizio Milo committed
192
193
194
195
196
197
198
199
200
201
202
203
        for (string,) in tqdm(requests):
            rolling_token_windows = list(
                map(
                    utils.make_disjoint_window,
                    utils.get_rolling_token_windows(
                        token_list=self.tok_encode(string),
                        prefix_token=self.eot_token_id,
                        max_seq_len=self.max_length,
                        context_len=1,
                    ),
                )
            )
204
205
206

            rolling_token_windows = [(None,) + x for x in rolling_token_windows]

207
208
            # TODO: extract out this call so it only gets called once and also somehow figure out partial caching for
            # that
Fabrizio Milo's avatar
Fabrizio Milo committed
209
210
211
212
            string_nll = self._loglikelihood_tokens(
                rolling_token_windows, disable_tqdm=True
            )

213
214
            # discard is_greedy
            string_nll = [x[0] for x in string_nll]
Fabrizio Milo's avatar
Fabrizio Milo committed
215

216
217
218
219
220
            string_nll = sum(string_nll)
            loglikelihoods.append(string_nll)

        return loglikelihoods

221
222
223
224
225
226
227
    def _loglikelihood_tokens(self, requests, disable_tqdm=False):
        # TODO: implement some kind of efficient-request-middleware that lumps together requests with the same context
        res = []

        def _collate(x):
            # the negative sign on len(toks) sorts descending - this has a few advantages:
            # - time estimates will always be over not underestimates, which is more useful for planning
228
229
230
            # - to know the size of a batch when going through the list, you know the first one is always the batch
            #   padded context length. this is useful to simplify the batching logic and more importantly to make
            #   automatic adaptive batches much much easier to implement
231
232
233
            # - any OOMs will happen right away rather than near the end

            toks = x[1] + x[2]
234
            return -len(toks), tuple(toks)
Fabrizio Milo's avatar
Fabrizio Milo committed
235

236
        # TODO: automatic (variable) batch size detection for vectorization
Fabrizio Milo's avatar
Fabrizio Milo committed
237
        re_ord = utils.Reorderer(requests, _collate)
Fabrizio Milo's avatar
Fabrizio Milo committed
238
        for chunk in utils.chunks(
Fabrizio Milo's avatar
Fabrizio Milo committed
239
            tqdm(re_ord.get_reordered(), disable=disable_tqdm), self.batch_size
Fabrizio Milo's avatar
Fabrizio Milo committed
240
        ):
241
            inps = []
242
            cont_toks_list = []
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
            inplens = []

            padding_length = None

            # because vectorizing is annoying, we first convert each (context, continuation) pair to padded
            # tensors, then we pack them together into a batch, call the model, and then pick it all apart
            # again because vectorizing is annoying

            for _, context_enc, continuation_enc in chunk:
                # sanity check
                assert len(context_enc) > 0
                assert len(continuation_enc) > 0
                assert len(continuation_enc) <= self.max_length

                # how this all works:
                #          CTX      CONT
259
                # inp    0 1 2 3|4 5 6 7 8 9   <- last token is deleted by inp[:, :-1]
260
                # gpt2    \               \
261
262
                # logits   1 2 3|4 5 6 7 8 9   <- the ctx half gets tossed out by the
                # cont_toks      4 5 6 7 8 9      [:, -len(continuation_enc):, :self.vocab_size] slice
263
264
265

                # when too long to fit in context, truncate from the left
                inp = torch.tensor(
Fabrizio Milo's avatar
Fabrizio Milo committed
266
267
                    (context_enc + continuation_enc)[-(self.max_length + 1) :][:-1],
                    dtype=torch.long,
268
                ).to(self.device)
Fabrizio Milo's avatar
Fabrizio Milo committed
269
                (inplen,) = inp.shape
270
271
272
273

                cont = continuation_enc

                # since in _collate we make sure length is descending, the longest is always the first one.
Fabrizio Milo's avatar
Fabrizio Milo committed
274
275
276
                padding_length = (
                    padding_length if padding_length is not None else inplen
                )
277

278
                # pad length from seq to padding_length
Fabrizio Milo's avatar
Fabrizio Milo committed
279
280
281
282
283
284
285
286
287
                inp = torch.cat(
                    [
                        inp,  # [seq]
                        torch.zeros(padding_length - inplen, dtype=torch.long).to(
                            inp.device
                        ),  # [padding_length - seq]
                    ],
                    dim=0,
                )
288

289
290
                inps.append(inp.unsqueeze(0))  # [1, padding_length]
                cont_toks_list.append(cont)
291
292
                inplens.append(inplen)

293
            batched_inps = torch.cat(inps, dim=0)  # [batch, padding_length
Fabrizio Milo's avatar
Fabrizio Milo committed
294
295
296
            multi_logits = F.log_softmax(
                self._model_call(batched_inps), dim=-1
            ).cpu()  # [batch, padding_length, vocab]
297

Fabrizio Milo's avatar
Fabrizio Milo committed
298
299
300
            for (cache_key, _, _), logits, inp, inplen, cont_toks in zip(
                chunk, multi_logits, inps, inplens, cont_toks_list
            ):
301

302
303
                # Slice to original seq length
                contlen = len(cont_toks)
Fabrizio Milo's avatar
Fabrizio Milo committed
304
305
306
                logits = logits[inplen - contlen : inplen].unsqueeze(
                    0
                )  # [1, seq, vocab]
307

308
                # Check if per-token argmax is exactly equal to continuation
309
                greedy_tokens = logits.argmax(dim=-1)
Fabrizio Milo's avatar
Fabrizio Milo committed
310
311
312
                cont_toks = torch.tensor(cont_toks, dtype=torch.long).unsqueeze(
                    0
                )  # [1, seq]
313
314
                max_equal = (greedy_tokens == cont_toks).all()

315
316
                # Obtain log-probs at the corresponding continuation token indices
                # last_token_slice = logits[:, -1, :].squeeze(0).tolist()
Fabrizio Milo's avatar
Fabrizio Milo committed
317
318
319
                logits = torch.gather(logits, 2, cont_toks.unsqueeze(-1)).squeeze(
                    -1
                )  # [1, seq]
320

321
                # Answer: (log prob, is-exact-match)
322
323
324
325
326
327
328
329
                answer = (float(logits.sum()), bool(max_equal))

                # partial caching
                if cache_key is not None:
                    self.cache_hook.add_partial("loglikelihood", cache_key, answer)

                res.append(answer)

Fabrizio Milo's avatar
Fabrizio Milo committed
330
        return re_ord.get_original(res)
Fabrizio Milo's avatar
Fabrizio Milo committed
331

332
    def greedy_until(self, requests):
Fabrizio Milo's avatar
Fabrizio Milo committed
333
        # TODO: implement fully general `until` that handles until that are
334
        #       multiple tokens or that span multiple tokens correctly
335
336
337
338
339
340

        # TODO: extract to TokenizedLM?
        res = []

        def _collate(x):
            toks = self.tok_encode(x[0])
341
            return len(toks), x[0]
Fabrizio Milo's avatar
Fabrizio Milo committed
342

Fabrizio Milo's avatar
Fabrizio Milo committed
343
        re_ord = utils.Reorderer(requests, _collate)
344

Fabrizio Milo's avatar
Fabrizio Milo committed
345
        for context, until in tqdm(re_ord.get_reordered()):
346
347
            if isinstance(until, str):
                until = [until]
348

Fabrizio Milo's avatar
Fabrizio Milo committed
349
            (primary_until,) = self.tok_encode(until[0])
350

Fabrizio Milo's avatar
Fabrizio Milo committed
351
352
353
            context_enc = torch.tensor(
                [self.tok_encode(context)[self.max_gen_toks - self.max_length :]]
            ).to(self.device)
354

Fabrizio Milo's avatar
Fabrizio Milo committed
355
356
357
358
359
            cont = self._model_generate(
                context_enc, context_enc.shape[1] + self.max_gen_toks, primary_until
            )

            s = self.tok_decode(cont[0].tolist()[context_enc.shape[1] :])
360
361
362

            for term in until:
                s = s.split(term)[0]
Fabrizio Milo's avatar
Fabrizio Milo committed
363

364
365
            # partial caching
            self.cache_hook.add_partial("greedy_until", (context, until), s)
Fabrizio Milo's avatar
Fabrizio Milo committed
366

367
            res.append(s)
Fabrizio Milo's avatar
Fabrizio Milo committed
368

Fabrizio Milo's avatar
Fabrizio Milo committed
369
        return re_ord.get_original(res)
Leo Gao's avatar
Leo Gao committed
370

Leo Gao's avatar
Leo Gao committed
371

372
class Task(abc.ABC):
&'s avatar
&amp; committed
373
374
375
376
377
378
379
380
    """A task represents an entire benchmark including its dataset, problems,
    answers, and evaluation methods. See BoolQ for a simple example implementation

    A `doc` can be any python object which represents one instance of evaluation.
    This is usually a dictionary e.g.
        {"question": ..., "answer": ...} or
        {"question": ..., question, answer)
    """
Jonathan Tow's avatar
Jonathan Tow committed
381

Jon Tow's avatar
Jon Tow committed
382
383
    # The name of the `Task` benchmark as denoted in the HuggingFace datasets Hub
    # or a path to a custom `datasets` loading script.
Jonathan Tow's avatar
Jonathan Tow committed
384
385
386
387
388
    DATASET_PATH: str = None

    # The name of a subset within `DATASET_PATH`.
    DATASET_NAME: str = None

Jon Tow's avatar
Jon Tow committed
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
    def __init__(self, data_dir=None, cache_dir=None, download_mode=None):
        """
        :param data_dir: str
            Stores the path to a local folder containing the `Task`'s data files.
            Use this to specify the path to manually downloaded data (usually when
            the dataset is not publicly accessible).
        :param cache_dir: str
            The directory to read/write the `Task` dataset. This follows the
            HuggingFace `datasets` API with the default cache directory located at:
                `~/.cache/huggingface/datasets`
            NOTE: You can change the cache location globally for a given process
            by setting the shell environment variable, `HF_DATASETS_CACHE`,
            to another directory:
                `export HF_DATASETS_CACHE="/path/to/another/directory"`
        :param download_mode: datasets.DownloadMode
            How to treat pre-existing `Task` downloads and data.
            - `datasets.DownloadMode.REUSE_DATASET_IF_EXISTS`
                Reuse download and reuse dataset.
            - `datasets.DownloadMode.REUSE_CACHE_IF_EXISTS`
                Reuse download with fresh dataset.
            - `datasets.DownloadMode.FORCE_REDOWNLOAD`
                Fresh download and fresh dataset.
        """
        self.download(data_dir, cache_dir, download_mode)
413
        self._training_docs = None
414
        self._fewshot_docs = None
sdtblck's avatar
sdtblck committed
415

Jon Tow's avatar
Jon Tow committed
416
    def download(self, data_dir=None, cache_dir=None, download_mode=None):
Fabrizio Milo's avatar
Fabrizio Milo committed
417
        """Downloads and returns the task dataset.
Jonathan Tow's avatar
Jonathan Tow committed
418
419
        Override this method to download the dataset from a custom API.

Jon Tow's avatar
Jon Tow committed
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
        :param data_dir: str
            Stores the path to a local folder containing the `Task`'s data files.
            Use this to specify the path to manually downloaded data (usually when
            the dataset is not publicly accessible).
        :param cache_dir: str
            The directory to read/write the `Task` dataset. This follows the
            HuggingFace `datasets` API with the default cache directory located at:
                `~/.cache/huggingface/datasets`
            NOTE: You can change the cache location globally for a given process
            by setting the shell environment variable, `HF_DATASETS_CACHE`,
            to another directory:
                `export HF_DATASETS_CACHE="/path/to/another/directory"`
        :param download_mode: datasets.DownloadMode
            How to treat pre-existing `Task` downloads and data.
            - `datasets.DownloadMode.REUSE_DATASET_IF_EXISTS`
                Reuse download and reuse dataset.
            - `datasets.DownloadMode.REUSE_CACHE_IF_EXISTS`
                Reuse download with fresh dataset.
            - `datasets.DownloadMode.FORCE_REDOWNLOAD`
                Fresh download and fresh dataset.
Jonathan Tow's avatar
Jonathan Tow committed
440
441
442
443
        """
        self.dataset = datasets.load_dataset(
            path=self.DATASET_PATH,
            name=self.DATASET_NAME,
Jon Tow's avatar
Jon Tow committed
444
445
            data_dir=data_dir,
            cache_dir=cache_dir,
Fabrizio Milo's avatar
Fabrizio Milo committed
446
            download_mode=download_mode,
Jonathan Tow's avatar
Jonathan Tow committed
447
        )
sdtblck's avatar
sdtblck committed
448

449
450
451
452
    def should_decontaminate(self):
        """Whether this task supports decontamination against model training set."""
        return False

453
    @abstractmethod
454
    def has_training_docs(self):
Jason Phang's avatar
checkin  
Jason Phang committed
455
        """Whether the task has a training set"""
456
        pass
457

458
    @abstractmethod
459
    def has_validation_docs(self):
Jason Phang's avatar
checkin  
Jason Phang committed
460
461
462
        """Whether the task has a validation set"""
        pass

463
    @abstractmethod
Jason Phang's avatar
checkin  
Jason Phang committed
464
465
    def has_test_docs(self):
        """Whether the task has a test set"""
466
467
        pass

Leo Gao's avatar
Leo Gao committed
468
    def training_docs(self):
Jason Phang's avatar
checkin  
Jason Phang committed
469
470
471
472
        """
        :return: Iterable[obj]
            A iterable of any object, that doc_to_text can handle
        """
Leo Gao's avatar
Leo Gao committed
473
        return []
474

Leo Gao's avatar
Leo Gao committed
475
    def validation_docs(self):
476
477
478
479
        """
        :return: Iterable[obj]
            A iterable of any object, that doc_to_text can handle
        """
Leo Gao's avatar
Leo Gao committed
480
        return []
481

Leo Gao's avatar
Leo Gao committed
482
    def test_docs(self):
483
484
485
486
        """
        :return: Iterable[obj]
            A iterable of any object, that doc_to_text can handle
        """
Leo Gao's avatar
Leo Gao committed
487
        return []
Leo Gao's avatar
Leo Gao committed
488

Jon Tow's avatar
Jon Tow committed
489
490
491
492
    def _process_doc(self, doc):
        """
        Override this to process (detokenize, strip, replace, etc.) individual
        documents. This can be used in a map over documents of a data split.
Jon Tow's avatar
Jon Tow committed
493
        E.g. `map(self._process_doc, self.dataset["validation"])`
Jon Tow's avatar
Jon Tow committed
494
495
496
497
498
499

        :return: dict
            The processed version of the specified `doc`.
        """
        return doc

500
    def fewshot_examples(self, k, rnd):
501
502
        if self._training_docs is None:
            self._training_docs = list(self.training_docs())
503

Leo Gao's avatar
Leo Gao committed
504
        return rnd.sample(self._training_docs, k)
Leo Gao's avatar
Leo Gao committed
505

506
    def doc_to_decontamination_query(self, doc):
Fabrizio Milo's avatar
Fabrizio Milo committed
507
508
509
510
        print(
            "Override doc_to_decontamination_query with document specific decontamination query."
        )
        assert False
511

512
    @abstractmethod
Leo Gao's avatar
Update  
Leo Gao committed
513
514
515
    def doc_to_text(self, doc):
        pass

516
    @abstractmethod
Leo Gao's avatar
Update  
Leo Gao committed
517
    def doc_to_target(self, doc):
Leo Gao's avatar
Leo Gao committed
518
        pass
Leo Gao's avatar
Leo Gao committed
519

520
    @abstractmethod
521
    def construct_requests(self, doc, ctx):
Fabrizio Milo's avatar
Fabrizio Milo committed
522
        """Uses RequestFactory to construct Requests and returns an iterable of
Leo Gao's avatar
Leo Gao committed
523
524
        Requests which will be sent to the LM.

525
526
        :param doc:
            The document as returned from training_docs, validation_docs, or test_docs.
Leo Gao's avatar
Leo Gao committed
527
        :param ctx: str
Fabrizio Milo's avatar
Fabrizio Milo committed
528
            The context string, generated by fewshot_context. This includes the natural
529
            language description, as well as the few shot examples, and the question
Fabrizio Milo's avatar
Fabrizio Milo committed
530
            part of the document for `doc`.
Leo Gao's avatar
Leo Gao committed
531
        """
Leo Gao's avatar
Leo Gao committed
532
        pass
533

534
    @abstractmethod
Leo Gao's avatar
Leo Gao committed
535
    def process_results(self, doc, results):
Fabrizio Milo's avatar
Fabrizio Milo committed
536
537
        """Take a single document and the LM results and evaluates, returning a
        dict where keys are the names of submetrics and values are the values of
538
        the metric for that one document
Leo Gao's avatar
Leo Gao committed
539
540
541
542
543

        :param doc:
            The document as returned from training_docs, validation_docs, or test_docs.
        :param results:
            The results of the requests created in construct_requests.
Jason Phang's avatar
checkin  
Jason Phang committed
544
        """
Leo Gao's avatar
Leo Gao committed
545
        pass
Jason Phang's avatar
gpt3  
Jason Phang committed
546

547
    @abstractmethod
548
549
    def aggregation(self):
        """
&'s avatar
&amp; committed
550
        :returns: {str: [metric_score] -> float}
Fabrizio Milo's avatar
Fabrizio Milo committed
551
            A dictionary where keys are the names of submetrics and values are
&'s avatar
&amp; committed
552
            functions that aggregate a list of metric scores
553
554
555
        """
        pass

556
    @abstractmethod
557
558
559
    def higher_is_better(self):
        """
        :returns: {str: bool}
Fabrizio Milo's avatar
Fabrizio Milo committed
560
            A dictionary where keys are the names of submetrics and values are
561
562
563
564
            whether a higher value of the submetric is better
        """
        pass

Jason Phang's avatar
Jason Phang committed
565
    def fewshot_description(self):
566
        import warnings
Fabrizio Milo's avatar
Fabrizio Milo committed
567

568
        warnings.warn(
Jonathan Tow's avatar
Jonathan Tow committed
569
            "`fewshot_description` will be removed in futures versions. Pass "
570
            "any custom descriptions to the `evaluate` function instead.",
Fabrizio Milo's avatar
Fabrizio Milo committed
571
572
            DeprecationWarning,
        )
Jason Phang's avatar
checkin  
Jason Phang committed
573
574
        return ""

575
    @utils.positional_deprecated
Fabrizio Milo's avatar
Fabrizio Milo committed
576
577
578
579
    def fewshot_context(
        self, doc, num_fewshot, provide_description=None, rnd=None, description=None
    ):
        """Returns a fewshot context string that is made up of a prepended description
580
581
582
583
584
585
586
587
588
589
        (if provided), the `num_fewshot` number of examples, and an appended prompt example.

        :param doc: str
            The document as returned from training_docs, validation_docs, or test_docs.
        :param num_fewshot: int
            The number of fewshot examples to provide in the returned context string.
        :param provide_description: bool
            Not implemented, and this option is deprecated and will be removed in a future version in favor of a different description providing method
        :param rnd: random.Random
            The pseudo-random number generator used to randomly sample examples.
590
            WARNING: This is currently a required arg although it's optionalized with a default `None`.
591
592
593
594
595
        :param description: str
            The task's description that will be prepended to the fewshot examples.
        :returns: str
            The fewshot context.
        """
Fabrizio Milo's avatar
Fabrizio Milo committed
596
597
598
        assert (
            rnd is not None
        ), "A `random.Random` generator argument must be provided to `rnd`"
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
599
        assert not provide_description, (
Jonathan Tow's avatar
Jonathan Tow committed
600
            "The `provide_description` arg will be removed in future versions. To prepend "
601
            "a custom description to the context, supply the corresponding string via the "
Jonathan Tow's avatar
Jonathan Tow committed
602
            "`description` arg."
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
603
        )
604
605
        if provide_description is not None:
            # nudge people to not specify it at all
Fabrizio Milo's avatar
Fabrizio Milo committed
606
607
608
            print(
                "WARNING: provide_description is deprecated and will be removed in a future version in favor of description_dict"
            )
609

610
        description = description + "\n\n" if description else ""
611

612
613
        if num_fewshot == 0:
            labeled_examples = ""
614
        else:
615
616
617
618
619
            # for sets with no training docs, draw from other set *but ensure no overlap with current doc*
            if self.has_training_docs():
                fewshotex = self.fewshot_examples(k=num_fewshot, rnd=rnd)
            else:
                if self._fewshot_docs is None:
620
                    self._fewshot_docs = list(
Fabrizio Milo's avatar
Fabrizio Milo committed
621
622
623
                        self.validation_docs()
                        if self.has_validation_docs()
                        else self.test_docs()
624
                    )
625

626
                fewshotex = rnd.sample(self._fewshot_docs, num_fewshot + 1)
627

628
629
                # get rid of the doc that's the one we're evaluating, if it's in the fewshot
                fewshotex = [x for x in fewshotex if x != doc][:num_fewshot]
630

Fabrizio Milo's avatar
Fabrizio Milo committed
631
632
633
634
635
636
637
638
639
            labeled_examples = (
                "\n\n".join(
                    [
                        self.doc_to_text(doc) + self.doc_to_target(doc)
                        for doc in fewshotex
                    ]
                )
                + "\n\n"
            )
Leo Gao's avatar
Update  
Leo Gao committed
640

641
        example = self.doc_to_text(doc)
Leo Gao's avatar
Leo Gao committed
642
643
644
        return description + labeled_examples + example


Jon Tow's avatar
Jon Tow committed
645
class MultipleChoiceTask(Task):
Leo Gao's avatar
Leo Gao committed
646
    def doc_to_target(self, doc):
Fabrizio Milo's avatar
Fabrizio Milo committed
647
        return " " + doc["choices"][doc["gold"]]
Leo Gao's avatar
Leo Gao committed
648

Leo Gao's avatar
Leo Gao committed
649
650
    def construct_requests(self, doc, ctx):
        lls = [
Fabrizio Milo's avatar
Fabrizio Milo committed
651
            rf.loglikelihood(ctx, " {}".format(choice))[0] for choice in doc["choices"]
Leo Gao's avatar
Leo Gao committed
652
653
654
655
656
657
658
        ]

        return lls

    def process_results(self, doc, results):
        gold = doc["gold"]

Fabrizio Milo's avatar
Fabrizio Milo committed
659
        acc = 1.0 if np.argmax(results) == gold else 0.0
660
        completion_len = np.array([float(len(i)) for i in doc["choices"]])
Fabrizio Milo's avatar
Fabrizio Milo committed
661
        acc_norm = 1.0 if np.argmax(results / completion_len) == gold else 0.0
Leo Gao's avatar
Leo Gao committed
662
663

        return {
Leo Gao's avatar
Leo Gao committed
664
665
            "acc": acc,
            "acc_norm": acc_norm,
Leo Gao's avatar
Leo Gao committed
666
        }
Fabrizio Milo's avatar
Fabrizio Milo committed
667

Leo Gao's avatar
Leo Gao committed
668
669
    def higher_is_better(self):
        return {
Leo Gao's avatar
Leo Gao committed
670
671
            "acc": True,
            "acc_norm": True,
Leo Gao's avatar
Leo Gao committed
672
        }
Fabrizio Milo's avatar
Fabrizio Milo committed
673

Leo Gao's avatar
Leo Gao committed
674
675
    def aggregation(self):
        return {
Leo Gao's avatar
Leo Gao committed
676
677
            "acc": mean,
            "acc_norm": mean,
Leo Gao's avatar
Leo Gao committed
678
679
680
        }


Jason Phang's avatar
Jason Phang committed
681
class PerplexityTask(Task, abc.ABC):
682
683
684
685
    def should_decontaminate(self):
        """Whether this task supports decontamination against model training set."""
        return True

Jason Phang's avatar
Jason Phang committed
686
687
688
689
690
691
692
    def has_training_docs(self):
        return False

    def fewshot_examples(self, k, rnd):
        assert k == 0
        return []

Fabrizio Milo's avatar
Fabrizio Milo committed
693
694
695
696
697
698
699
700
701
    def fewshot_context(
        self, doc, num_fewshot, provide_description=None, rnd=None, description=None
    ):
        assert (
            num_fewshot == 0
        ), "The number of fewshot examples must be 0 for perplexity tasks."
        assert (
            rnd is not None
        ), "A `random.Random` generator argument must be provided to `rnd`."
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
702
        assert not provide_description, (
Jonathan Tow's avatar
Jonathan Tow committed
703
            "The `provide_description` arg will be removed in future versions. To prepend "
Jonathan Tow's avatar
Jonathan Tow committed
704
            "a custom description to the context, supply the corresponding string via the "
Jonathan Tow's avatar
Jonathan Tow committed
705
            "`description` arg."
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
706
        )
707
708
        if provide_description is not None:
            # nudge people to not specify it at all
Fabrizio Milo's avatar
Fabrizio Milo committed
709
710
711
            print(
                "WARNING: provide_description is deprecated and will be removed in a future version in favor of description_dict"
            )
712

Jason Phang's avatar
Jason Phang committed
713
714
715
        return ""

    def higher_is_better(self):
Leo Gao's avatar
Leo Gao committed
716
717
718
719
720
        return {
            "word_perplexity": False,
            "byte_perplexity": False,
            "bits_per_byte": False,
        }
Jason Phang's avatar
Jason Phang committed
721

722
723
724
    def doc_to_decontamination_query(self, doc):
        return doc

Jason Phang's avatar
Jason Phang committed
725
    def doc_to_text(self, doc):
726
        return ""
Jason Phang's avatar
Jason Phang committed
727
728

    def doc_to_target(self, doc):
729
        return doc
Jason Phang's avatar
Jason Phang committed
730
731
732

    def construct_requests(self, doc, ctx):
        assert not ctx
Leo Gao's avatar
Leo Gao committed
733
        req = rf.loglikelihood_rolling(self.doc_to_target(doc))
Jason Phang's avatar
Jason Phang committed
734
735
736
        return req

    def process_results(self, doc, results):
Fabrizio Milo's avatar
Fabrizio Milo committed
737
        (loglikelihood,) = results
Leo Gao's avatar
Leo Gao committed
738
        words = self.count_words(doc)
739
        bytes_ = self.count_bytes(doc)
Jason Phang's avatar
Jason Phang committed
740
        return {
Leo Gao's avatar
Leo Gao committed
741
            "word_perplexity": (loglikelihood, words),
742
            "byte_perplexity": (loglikelihood, bytes_),
743
            "bits_per_byte": (loglikelihood, bytes_),
Jason Phang's avatar
Jason Phang committed
744
745
746
747
        }

    def aggregation(self):
        return {
Leo Gao's avatar
Leo Gao committed
748
749
            "word_perplexity": weighted_perplexity,
            "byte_perplexity": weighted_perplexity,
750
            "bits_per_byte": bits_per_byte,
Jason Phang's avatar
Jason Phang committed
751
752
        }

753
754
    @classmethod
    def count_bytes(cls, doc):
Leo Gao's avatar
Leo Gao committed
755
        return len(doc.encode("utf-8"))
756
757
758

    @classmethod
    def count_words(cls, doc):
Fabrizio Milo's avatar
Fabrizio Milo committed
759
        """Downstream tasks with custom word boundaries should override this!"""
Leo Gao's avatar
Leo Gao committed
760
        return len(re.split(r"\s+", doc))
Leo Gao's avatar
Leo Gao committed
761

Jason Phang's avatar
Jason Phang committed
762

Leo Gao's avatar
Leo Gao committed
763
764
def hash_args(attr, args):
    dat = json.dumps([attr] + list(args))
Fabrizio Milo's avatar
Fabrizio Milo committed
765
    return hashlib.sha256(dat.encode("utf-8")).hexdigest()
Leo Gao's avatar
Leo Gao committed
766
767


Leo Gao's avatar
Leo Gao committed
768
769
class CacheHook:
    def __init__(self, cachinglm):
Fabrizio Milo's avatar
Fabrizio Milo committed
770
        if cachinglm is None:
Leo Gao's avatar
Leo Gao committed
771
772
773
774
            self.dbdict = None
            return

        self.dbdict = cachinglm.dbdict
Fabrizio Milo's avatar
Fabrizio Milo committed
775

Leo Gao's avatar
Leo Gao committed
776
777
778
779
780
781
782
    def add_partial(self, attr, req, res):
        if self.dbdict is None:
            return
        hsh = hash_args(attr, req)
        self.dbdict[hsh] = res


Leo Gao's avatar
Leo Gao committed
783
784
class CachingLM:
    def __init__(self, lm, cache_db):
785
786
787
788
789
790
791
        """LM wrapper that returns cached results if they exist, and uses the underlying LM if not.

        :param lm: LM
            Underlying LM
        :param cache_db: str
            Path to cache db
        """
Leo Gao's avatar
Leo Gao committed
792
793
        self.lm = lm
        self.cache_db = cache_db
794
795
        if os.path.dirname(cache_db):
            os.makedirs(os.path.dirname(cache_db), exist_ok=True)
Leo Gao's avatar
Leo Gao committed
796
797
        self.dbdict = SqliteDict(cache_db, autocommit=True)

Leo Gao's avatar
Leo Gao committed
798
799
800
        # add hook to lm
        lm.set_cache_hook(self.get_cache_hook())

Leo Gao's avatar
Leo Gao committed
801
802
803
804
    def __getattr__(self, attr):
        def fn(requests):
            res = []
            remaining_reqs = []
Fabrizio Milo's avatar
Fabrizio Milo committed
805

Leo Gao's avatar
Leo Gao committed
806
807
            # figure out which ones are cached and which ones are new
            for req in requests:
Leo Gao's avatar
Leo Gao committed
808
                hsh = hash_args(attr, req)
Leo Gao's avatar
Leo Gao committed
809
810
811
812
813
814
815
816
817
                if hsh in self.dbdict:
                    ob = self.dbdict[hsh]

                    assert ob is not None

                    res.append(ob)
                else:
                    res.append(None)
                    remaining_reqs.append(req)
Fabrizio Milo's avatar
Fabrizio Milo committed
818

819
            # actually run the LM on the requests that do not have cached results
Leo Gao's avatar
Leo Gao committed
820
821
822
823
824
            rem_res = getattr(self.lm, attr)(remaining_reqs)

            # stick the new ones back into the list and also cache any of the new ones
            resptr = 0
            for req, r in zip(remaining_reqs, rem_res):
825
826
                while res[resptr] is not None:
                    resptr += 1
Leo Gao's avatar
Leo Gao committed
827
828
829
830

                res[resptr] = r

                # caching
Leo Gao's avatar
Leo Gao committed
831
                hsh = hash_args(attr, req)
Leo Gao's avatar
Leo Gao committed
832
                self.dbdict[hsh] = r
Leo Gao's avatar
Leo Gao committed
833
            self.dbdict.commit()
Leo Gao's avatar
Leo Gao committed
834
835

            return res
Fabrizio Milo's avatar
Fabrizio Milo committed
836

Leo Gao's avatar
Leo Gao committed
837
        return fn
Fabrizio Milo's avatar
Fabrizio Milo committed
838

Leo Gao's avatar
Leo Gao committed
839
840
    def get_cache_hook(self):
        return CacheHook(self)
Leo Gao's avatar
Leo Gao committed
841

Jason Phang's avatar
Jason Phang committed
842

843
REQUEST_RETURN_LENGTHS = {
Fabrizio Milo's avatar
Fabrizio Milo committed
844
845
846
    "loglikelihood": 2,
    "greedy_until": None,
    "loglikelihood_rolling": None,
847
848
849
}


850
class Request:
Leo Gao's avatar
Leo Gao committed
851
852
    def __init__(self, request_type, args, index=None):
        if request_type not in REQUEST_RETURN_LENGTHS.keys():
Fabrizio Milo's avatar
Fabrizio Milo committed
853
854
855
            raise NotImplementedError(
                "The request type {} is not implemented!".format(request_type)
            )
Leo Gao's avatar
Leo Gao committed
856

Leo Gao's avatar
Leo Gao committed
857
        self.request_type = request_type
858
859
        self.args = args
        self.index = index
Fabrizio Milo's avatar
Fabrizio Milo committed
860

861
    def __iter__(self):
Leo Gao's avatar
Leo Gao committed
862
        if REQUEST_RETURN_LENGTHS[self.request_type] is None:
Fabrizio Milo's avatar
Fabrizio Milo committed
863
            raise IndexError("This request type does not return multiple arguments!")
Leo Gao's avatar
Leo Gao committed
864
865
        for i in range(REQUEST_RETURN_LENGTHS[self.request_type]):
            yield Request(self.request_type, self.args, i)
Fabrizio Milo's avatar
Fabrizio Milo committed
866

867
    def __getitem__(self, i):
Leo Gao's avatar
Leo Gao committed
868
        if REQUEST_RETURN_LENGTHS[self.request_type] is None:
Fabrizio Milo's avatar
Fabrizio Milo committed
869
            raise IndexError("This request type does not return multiple arguments!")
Leo Gao's avatar
Leo Gao committed
870
        return Request(self.request_type, self.args, i)
Fabrizio Milo's avatar
Fabrizio Milo committed
871

Leo Gao's avatar
Leo Gao committed
872
    def __eq__(self, other):
Fabrizio Milo's avatar
Fabrizio Milo committed
873
874
875
876
877
        return (
            self.request_type == other.request_type
            and self.args == other.args
            and self.index == other.index
        )
Leo Gao's avatar
Leo Gao committed
878

Leo Gao's avatar
Leo Gao committed
879
    def __repr__(self):
Leo Gao's avatar
Leo Gao committed
880
        return f"Req_{self.request_type}{self.args}[{self.index}]\n"
881

Jason Phang's avatar
Jason Phang committed
882

Leo Gao's avatar
Leo Gao committed
883
884
class RequestFactory:
    def __getattr__(self, attr):
Leo Gao's avatar
Update  
Leo Gao committed
885
886
        def fn(*args):
            return Request(attr, args)
Fabrizio Milo's avatar
Fabrizio Milo committed
887

Leo Gao's avatar
Leo Gao committed
888
889
890
891
        return fn


rf = RequestFactory()