base.py 31.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
import inspect
11
from sqlitedict import SqliteDict
12
from tqdm import tqdm
13
import torch
Leo Gao's avatar
Leo Gao committed
14
import torch.nn.functional as F
&'s avatar
& committed
15

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

Jason Phang's avatar
Jason Phang committed
20

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

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

Leo Gao's avatar
Leo Gao committed
31
32
33
        :param requests: list
            A list of pairs (context, continuation)
            context: str
Fabrizio Milo's avatar
Fabrizio Milo committed
34
                Context string. Implementations of LM must be able to handle an
Leo Gao's avatar
Leo Gao committed
35
                empty context string.
Leo Gao's avatar
Leo Gao committed
36
            continuation: str
Fabrizio Milo's avatar
Fabrizio Milo committed
37
38
                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
39
40
41
42
                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
43
                The log probability of `continuation`
Leo Gao's avatar
Leo Gao committed
44
            isgreedy:
Jason Phang's avatar
Jason Phang committed
45
46
47
48
                Whether `continuation` would be generated by greedy sampling from `context`
        """
        pass

49
    @abstractmethod
Leo Gao's avatar
Leo Gao committed
50
    def loglikelihood_rolling(self, requests):
Jason Phang's avatar
Jason Phang committed
51
52
53
54
        """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
55
        - IMPORTANT: Each document's loglikelihood/perplexity is computed *separately*, unlike other implementations
Jason Phang's avatar
Jason Phang committed
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
87
          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
88
89
90
        """
        pass

&'s avatar
& committed
91
    # TODO: Add an optional max length
92
    @abstractmethod
Leo Gao's avatar
Update  
Leo Gao committed
93
    def greedy_until(self, requests):
Leo Gao's avatar
Leo Gao committed
94
95
96
97
98
99
        """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
100
            until: [str]
Fabrizio Milo's avatar
Fabrizio Milo committed
101
                The string sequences to generate until. These string sequences
Leo Gao's avatar
Leo Gao committed
102
                may each span across multiple tokens, or may be part of one token.
Leo Gao's avatar
Leo Gao committed
103
104
105
106
        :return: list
            A list of strings continuation
            continuation: str
                The generated continuation.
Jason Phang's avatar
gpt3  
Jason Phang committed
107
        """
Leo Gao's avatar
Leo Gao committed
108
109
        pass

Jason Phang's avatar
gpt3  
Jason Phang committed
110
    @classmethod
111
112
    def create_from_arg_string(cls, arg_string, additional_config=None):
        additional_config = {} if additional_config is None else additional_config
113
114
115
        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
116

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

Leo Gao's avatar
Leo Gao committed
120

121
class BaseLM(LM):
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
    @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

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

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

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

159
160
    @abstractmethod
    def _model_call(self, inps):
Jason Phang's avatar
gpt3  
Jason Phang committed
161
        """
162
163
        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
164

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

Leo Gao's avatar
Leo Gao committed
170
    # subclass must implement properties vocab_size, eot_token_id, max_gen_toks, batch_size, device, max_length.
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
    # 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
193
194
195
196
197
198
199
200
201
202
203
204
        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,
                    ),
                )
            )
205
206
207

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

208
209
            # 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
210
211
212
213
            string_nll = self._loglikelihood_tokens(
                rolling_token_windows, disable_tqdm=True
            )

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

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

        return loglikelihoods

222
223
224
225
226
227
228
    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
229
230
231
            # - 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
232
233
234
            # - any OOMs will happen right away rather than near the end

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

237
        # TODO: automatic (variable) batch size detection for vectorization
Fabrizio Milo's avatar
Fabrizio Milo committed
238
        re_ord = utils.Reorderer(requests, _collate)
Fabrizio Milo's avatar
Fabrizio Milo committed
239
        for chunk in utils.chunks(
Fabrizio Milo's avatar
Fabrizio Milo committed
240
            tqdm(re_ord.get_reordered(), disable=disable_tqdm), self.batch_size
Fabrizio Milo's avatar
Fabrizio Milo committed
241
        ):
242
            inps = []
243
            cont_toks_list = []
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
            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
260
                # inp    0 1 2 3|4 5 6 7 8 9   <- last token is deleted by inp[:, :-1]
261
                # gpt2    \               \
262
263
                # 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
264
265
266

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

                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
275
276
277
                padding_length = (
                    padding_length if padding_length is not None else inplen
                )
278

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

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

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

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

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

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

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

322
                # Answer: (log prob, is-exact-match)
323
324
325
326
327
328
329
330
                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
331
        return re_ord.get_original(res)
Fabrizio Milo's avatar
Fabrizio Milo committed
332

333
    def generate(self, requests):
334
335
336
337
338
339
340
341
        res = []

        def _collate(x):
            toks = self.tok_encode(x[0])
            return len(toks), x[0]

        re_ord = utils.Reorderer(requests, _collate)

342
343
344
345
346
        for request in tqdm(re_ord.get_reordered()):
            if len(request) == 2:
                # Unpack greedy sample request
                context, until, = request
                k, temperature = 1, 0.
347
                greedy = True
348
349
350
351
352
353
354
                _model_generate_kwargs = {}
            elif len(request) == 4:
                # Unpack temperature sample request
                context, until, k, temperature = request
                for key in ["k", "temperature"]:
                    assert key in inspect.getfullargspec(self._model_generate).args, \
                        f"Model generation parameter '{key}' not accepted as an argument for _model_generate"
355
                greedy = False
356
357
358
359
                _model_generate_kwargs = {"k": k, "temperature": temperature}
            else:
                raise AssertionError

360
361
362
363
364
365
366
            if isinstance(until, str):
                until = [until]
            (primary_until,) = self.tok_encode(until[0])

            context_enc = torch.tensor(
                [self.tok_encode(context)[self.max_gen_toks - self.max_length :]]
            ).to(self.device)
367
            
368
369
            cont = self._model_generate(
                context_enc, context_enc.shape[1] + self.max_gen_toks, primary_until,
370
                **_model_generate_kwargs
371
372
373
374
375
376
377
            )
            
            generated_tokens = cont[:, context_enc.shape[1]:]
            s = [self.tok_decode(candidate) for candidate in generated_tokens]
            for term in until:
                s = [candidate.split(term)[0] for candidate in s]

378
            s = s[0] if greedy else s
379
            # partial caching
380
            self.cache_hook.add_partial("generate", (context, until, k, temperature), s)
381
382
383
            res.append(s)
        return re_ord.get_original(res)

384
    def greedy_until(self, requests):
Fabrizio Milo's avatar
Fabrizio Milo committed
385
        # TODO: implement fully general `until` that handles until that are
386
        #       multiple tokens or that span multiple tokens correctly
387
388

        # TODO: extract to TokenizedLM?
389
        return self.generate(requests)
Leo Gao's avatar
Leo Gao committed
390

Leo Gao's avatar
Leo Gao committed
391

392
class Task(abc.ABC):
&'s avatar
&amp; committed
393
394
395
396
397
398
399
400
    """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
401

Jon Tow's avatar
Jon Tow committed
402
403
    # 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
404
405
406
407
408
    DATASET_PATH: str = None

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

Jon Tow's avatar
Jon Tow committed
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
    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)
433
        self._training_docs = None
434
        self._fewshot_docs = None
sdtblck's avatar
sdtblck committed
435

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

Jon Tow's avatar
Jon Tow committed
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
        :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
460
461
462
463
        """
        self.dataset = datasets.load_dataset(
            path=self.DATASET_PATH,
            name=self.DATASET_NAME,
Jon Tow's avatar
Jon Tow committed
464
465
            data_dir=data_dir,
            cache_dir=cache_dir,
Fabrizio Milo's avatar
Fabrizio Milo committed
466
            download_mode=download_mode,
Jonathan Tow's avatar
Jonathan Tow committed
467
        )
sdtblck's avatar
sdtblck committed
468

469
470
471
472
    def should_decontaminate(self):
        """Whether this task supports decontamination against model training set."""
        return False

473
    @abstractmethod
474
    def has_training_docs(self):
Jason Phang's avatar
checkin  
Jason Phang committed
475
        """Whether the task has a training set"""
476
        pass
477

478
    @abstractmethod
479
    def has_validation_docs(self):
Jason Phang's avatar
checkin  
Jason Phang committed
480
481
482
        """Whether the task has a validation set"""
        pass

483
    @abstractmethod
Jason Phang's avatar
checkin  
Jason Phang committed
484
485
    def has_test_docs(self):
        """Whether the task has a test set"""
486
487
        pass

Leo Gao's avatar
Leo Gao committed
488
    def training_docs(self):
Jason Phang's avatar
checkin  
Jason Phang committed
489
490
491
492
        """
        :return: Iterable[obj]
            A iterable of any object, that doc_to_text can handle
        """
Leo Gao's avatar
Leo Gao committed
493
        return []
494

Leo Gao's avatar
Leo Gao committed
495
    def validation_docs(self):
496
497
498
499
        """
        :return: Iterable[obj]
            A iterable of any object, that doc_to_text can handle
        """
Leo Gao's avatar
Leo Gao committed
500
        return []
501

Leo Gao's avatar
Leo Gao committed
502
    def test_docs(self):
503
504
505
506
        """
        :return: Iterable[obj]
            A iterable of any object, that doc_to_text can handle
        """
Leo Gao's avatar
Leo Gao committed
507
        return []
Leo Gao's avatar
Leo Gao committed
508

Jon Tow's avatar
Jon Tow committed
509
510
511
512
    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
513
        E.g. `map(self._process_doc, self.dataset["validation"])`
Jon Tow's avatar
Jon Tow committed
514
515
516
517
518
519

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

520
    def fewshot_examples(self, k, rnd):
521
522
        if self._training_docs is None:
            self._training_docs = list(self.training_docs())
523

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

526
    def doc_to_decontamination_query(self, doc):
Fabrizio Milo's avatar
Fabrizio Milo committed
527
528
529
530
        print(
            "Override doc_to_decontamination_query with document specific decontamination query."
        )
        assert False
531

532
    @abstractmethod
Leo Gao's avatar
Update  
Leo Gao committed
533
534
535
    def doc_to_text(self, doc):
        pass

536
    @abstractmethod
Leo Gao's avatar
Update  
Leo Gao committed
537
    def doc_to_target(self, doc):
Leo Gao's avatar
Leo Gao committed
538
        pass
Leo Gao's avatar
Leo Gao committed
539

540
    @abstractmethod
541
    def construct_requests(self, doc, ctx):
Fabrizio Milo's avatar
Fabrizio Milo committed
542
        """Uses RequestFactory to construct Requests and returns an iterable of
Leo Gao's avatar
Leo Gao committed
543
544
        Requests which will be sent to the LM.

545
546
        :param doc:
            The document as returned from training_docs, validation_docs, or test_docs.
Leo Gao's avatar
Leo Gao committed
547
        :param ctx: str
Fabrizio Milo's avatar
Fabrizio Milo committed
548
            The context string, generated by fewshot_context. This includes the natural
549
            language description, as well as the few shot examples, and the question
Fabrizio Milo's avatar
Fabrizio Milo committed
550
            part of the document for `doc`.
Leo Gao's avatar
Leo Gao committed
551
        """
Leo Gao's avatar
Leo Gao committed
552
        pass
553

554
    @abstractmethod
Leo Gao's avatar
Leo Gao committed
555
    def process_results(self, doc, results):
Fabrizio Milo's avatar
Fabrizio Milo committed
556
557
        """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
558
        the metric for that one document
Leo Gao's avatar
Leo Gao committed
559
560
561
562
563

        :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
564
        """
Leo Gao's avatar
Leo Gao committed
565
        pass
Jason Phang's avatar
gpt3  
Jason Phang committed
566

567
    @abstractmethod
568
569
    def aggregation(self):
        """
&'s avatar
&amp; committed
570
        :returns: {str: [metric_score] -> float}
Fabrizio Milo's avatar
Fabrizio Milo committed
571
            A dictionary where keys are the names of submetrics and values are
&'s avatar
&amp; committed
572
            functions that aggregate a list of metric scores
573
574
575
        """
        pass

576
    @abstractmethod
577
578
579
    def higher_is_better(self):
        """
        :returns: {str: bool}
Fabrizio Milo's avatar
Fabrizio Milo committed
580
            A dictionary where keys are the names of submetrics and values are
581
582
583
584
            whether a higher value of the submetric is better
        """
        pass

Jason Phang's avatar
Jason Phang committed
585
    def fewshot_description(self):
586
        import warnings
Fabrizio Milo's avatar
Fabrizio Milo committed
587

588
        warnings.warn(
Jonathan Tow's avatar
Jonathan Tow committed
589
            "`fewshot_description` will be removed in futures versions. Pass "
590
            "any custom descriptions to the `evaluate` function instead.",
Fabrizio Milo's avatar
Fabrizio Milo committed
591
592
            DeprecationWarning,
        )
Jason Phang's avatar
checkin  
Jason Phang committed
593
594
        return ""

595
    @utils.positional_deprecated
Fabrizio Milo's avatar
Fabrizio Milo committed
596
597
598
599
    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
600
601
602
603
604
605
606
607
608
609
        (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.
610
            WARNING: This is currently a required arg although it's optionalized with a default `None`.
611
612
613
614
615
        :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
616
617
618
        assert (
            rnd is not None
        ), "A `random.Random` generator argument must be provided to `rnd`"
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
619
        assert not provide_description, (
Jonathan Tow's avatar
Jonathan Tow committed
620
            "The `provide_description` arg will be removed in future versions. To prepend "
621
            "a custom description to the context, supply the corresponding string via the "
Jonathan Tow's avatar
Jonathan Tow committed
622
            "`description` arg."
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
623
        )
624
625
        if provide_description is not None:
            # nudge people to not specify it at all
Fabrizio Milo's avatar
Fabrizio Milo committed
626
627
628
            print(
                "WARNING: provide_description is deprecated and will be removed in a future version in favor of description_dict"
            )
629

630
        description = description + "\n\n" if description else ""
631

632
633
        if num_fewshot == 0:
            labeled_examples = ""
634
        else:
635
636
637
638
639
            # 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:
640
                    self._fewshot_docs = list(
Fabrizio Milo's avatar
Fabrizio Milo committed
641
642
643
                        self.validation_docs()
                        if self.has_validation_docs()
                        else self.test_docs()
644
                    )
645

646
                fewshotex = rnd.sample(self._fewshot_docs, num_fewshot + 1)
647

648
649
                # 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]
650

Fabrizio Milo's avatar
Fabrizio Milo committed
651
652
653
654
655
656
657
658
659
            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
660

661
        example = self.doc_to_text(doc)
Leo Gao's avatar
Leo Gao committed
662
663
664
        return description + labeled_examples + example


Jon Tow's avatar
Jon Tow committed
665
class MultipleChoiceTask(Task):
Leo Gao's avatar
Leo Gao committed
666
    def doc_to_target(self, doc):
Fabrizio Milo's avatar
Fabrizio Milo committed
667
        return " " + doc["choices"][doc["gold"]]
Leo Gao's avatar
Leo Gao committed
668

Leo Gao's avatar
Leo Gao committed
669
670
    def construct_requests(self, doc, ctx):
        lls = [
Fabrizio Milo's avatar
Fabrizio Milo committed
671
            rf.loglikelihood(ctx, " {}".format(choice))[0] for choice in doc["choices"]
Leo Gao's avatar
Leo Gao committed
672
673
674
675
676
677
678
        ]

        return lls

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

Fabrizio Milo's avatar
Fabrizio Milo committed
679
        acc = 1.0 if np.argmax(results) == gold else 0.0
680
        completion_len = np.array([float(len(i)) for i in doc["choices"]])
Fabrizio Milo's avatar
Fabrizio Milo committed
681
        acc_norm = 1.0 if np.argmax(results / completion_len) == gold else 0.0
Leo Gao's avatar
Leo Gao committed
682
683

        return {
Leo Gao's avatar
Leo Gao committed
684
685
            "acc": acc,
            "acc_norm": acc_norm,
Leo Gao's avatar
Leo Gao committed
686
        }
Fabrizio Milo's avatar
Fabrizio Milo committed
687

Leo Gao's avatar
Leo Gao committed
688
689
    def higher_is_better(self):
        return {
Leo Gao's avatar
Leo Gao committed
690
691
            "acc": True,
            "acc_norm": True,
Leo Gao's avatar
Leo Gao committed
692
        }
Fabrizio Milo's avatar
Fabrizio Milo committed
693

Leo Gao's avatar
Leo Gao committed
694
695
    def aggregation(self):
        return {
Leo Gao's avatar
Leo Gao committed
696
697
            "acc": mean,
            "acc_norm": mean,
Leo Gao's avatar
Leo Gao committed
698
699
700
        }


Jason Phang's avatar
Jason Phang committed
701
class PerplexityTask(Task, abc.ABC):
702
703
704
705
    def should_decontaminate(self):
        """Whether this task supports decontamination against model training set."""
        return True

Jason Phang's avatar
Jason Phang committed
706
707
708
709
710
711
712
    def has_training_docs(self):
        return False

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

Fabrizio Milo's avatar
Fabrizio Milo committed
713
714
715
716
717
718
719
720
721
    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
722
        assert not provide_description, (
Jonathan Tow's avatar
Jonathan Tow committed
723
            "The `provide_description` arg will be removed in future versions. To prepend "
Jonathan Tow's avatar
Jonathan Tow committed
724
            "a custom description to the context, supply the corresponding string via the "
Jonathan Tow's avatar
Jonathan Tow committed
725
            "`description` arg."
Jonathan Tow's avatar
Merge  
Jonathan Tow committed
726
        )
727
728
        if provide_description is not None:
            # nudge people to not specify it at all
Fabrizio Milo's avatar
Fabrizio Milo committed
729
730
731
            print(
                "WARNING: provide_description is deprecated and will be removed in a future version in favor of description_dict"
            )
732

Jason Phang's avatar
Jason Phang committed
733
734
735
        return ""

    def higher_is_better(self):
Leo Gao's avatar
Leo Gao committed
736
737
738
739
740
        return {
            "word_perplexity": False,
            "byte_perplexity": False,
            "bits_per_byte": False,
        }
Jason Phang's avatar
Jason Phang committed
741

742
743
744
    def doc_to_decontamination_query(self, doc):
        return doc

Jason Phang's avatar
Jason Phang committed
745
    def doc_to_text(self, doc):
746
        return ""
Jason Phang's avatar
Jason Phang committed
747
748

    def doc_to_target(self, doc):
749
        return doc
Jason Phang's avatar
Jason Phang committed
750
751
752

    def construct_requests(self, doc, ctx):
        assert not ctx
Leo Gao's avatar
Leo Gao committed
753
        req = rf.loglikelihood_rolling(self.doc_to_target(doc))
Jason Phang's avatar
Jason Phang committed
754
755
756
        return req

    def process_results(self, doc, results):
Fabrizio Milo's avatar
Fabrizio Milo committed
757
        (loglikelihood,) = results
Leo Gao's avatar
Leo Gao committed
758
        words = self.count_words(doc)
759
        bytes_ = self.count_bytes(doc)
Jason Phang's avatar
Jason Phang committed
760
        return {
Leo Gao's avatar
Leo Gao committed
761
            "word_perplexity": (loglikelihood, words),
762
            "byte_perplexity": (loglikelihood, bytes_),
763
            "bits_per_byte": (loglikelihood, bytes_),
Jason Phang's avatar
Jason Phang committed
764
765
766
767
        }

    def aggregation(self):
        return {
Leo Gao's avatar
Leo Gao committed
768
769
            "word_perplexity": weighted_perplexity,
            "byte_perplexity": weighted_perplexity,
770
            "bits_per_byte": bits_per_byte,
Jason Phang's avatar
Jason Phang committed
771
772
        }

773
774
    @classmethod
    def count_bytes(cls, doc):
Leo Gao's avatar
Leo Gao committed
775
        return len(doc.encode("utf-8"))
776
777
778

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

Jason Phang's avatar
Jason Phang committed
782

Leo Gao's avatar
Leo Gao committed
783
784
def hash_args(attr, args):
    dat = json.dumps([attr] + list(args))
Fabrizio Milo's avatar
Fabrizio Milo committed
785
    return hashlib.sha256(dat.encode("utf-8")).hexdigest()
Leo Gao's avatar
Leo Gao committed
786
787


Leo Gao's avatar
Leo Gao committed
788
789
class CacheHook:
    def __init__(self, cachinglm):
Fabrizio Milo's avatar
Fabrizio Milo committed
790
        if cachinglm is None:
Leo Gao's avatar
Leo Gao committed
791
792
793
794
            self.dbdict = None
            return

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

Leo Gao's avatar
Leo Gao committed
796
797
798
799
800
801
802
    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
803
804
class CachingLM:
    def __init__(self, lm, cache_db):
805
806
807
808
809
810
811
        """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
812
813
        self.lm = lm
        self.cache_db = cache_db
814
815
        if os.path.dirname(cache_db):
            os.makedirs(os.path.dirname(cache_db), exist_ok=True)
Leo Gao's avatar
Leo Gao committed
816
817
        self.dbdict = SqliteDict(cache_db, autocommit=True)

Leo Gao's avatar
Leo Gao committed
818
819
820
        # add hook to lm
        lm.set_cache_hook(self.get_cache_hook())

Leo Gao's avatar
Leo Gao committed
821
822
823
824
    def __getattr__(self, attr):
        def fn(requests):
            res = []
            remaining_reqs = []
Fabrizio Milo's avatar
Fabrizio Milo committed
825

Leo Gao's avatar
Leo Gao committed
826
827
            # figure out which ones are cached and which ones are new
            for req in requests:
Leo Gao's avatar
Leo Gao committed
828
                hsh = hash_args(attr, req)
Leo Gao's avatar
Leo Gao committed
829
830
831
832
833
834
835
836
837
                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
838

839
            # actually run the LM on the requests that do not have cached results
Leo Gao's avatar
Leo Gao committed
840
841
842
843
844
            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):
845
846
                while res[resptr] is not None:
                    resptr += 1
Leo Gao's avatar
Leo Gao committed
847
848
849
850

                res[resptr] = r

                # caching
Leo Gao's avatar
Leo Gao committed
851
                hsh = hash_args(attr, req)
Leo Gao's avatar
Leo Gao committed
852
                self.dbdict[hsh] = r
Leo Gao's avatar
Leo Gao committed
853
            self.dbdict.commit()
Leo Gao's avatar
Leo Gao committed
854
855

            return res
Fabrizio Milo's avatar
Fabrizio Milo committed
856

Leo Gao's avatar
Leo Gao committed
857
        return fn
Fabrizio Milo's avatar
Fabrizio Milo committed
858

Leo Gao's avatar
Leo Gao committed
859
860
    def get_cache_hook(self):
        return CacheHook(self)
Leo Gao's avatar
Leo Gao committed
861

Jason Phang's avatar
Jason Phang committed
862

863
REQUEST_RETURN_LENGTHS = {
Fabrizio Milo's avatar
Fabrizio Milo committed
864
865
    "loglikelihood": 2,
    "greedy_until": None,
866
    "generate": None,
Fabrizio Milo's avatar
Fabrizio Milo committed
867
    "loglikelihood_rolling": None,
868
869
870
}


871
class Request:
Leo Gao's avatar
Leo Gao committed
872
873
    def __init__(self, request_type, args, index=None):
        if request_type not in REQUEST_RETURN_LENGTHS.keys():
Fabrizio Milo's avatar
Fabrizio Milo committed
874
875
876
            raise NotImplementedError(
                "The request type {} is not implemented!".format(request_type)
            )
Leo Gao's avatar
Leo Gao committed
877

Leo Gao's avatar
Leo Gao committed
878
        self.request_type = request_type
879
880
        self.args = args
        self.index = index
Fabrizio Milo's avatar
Fabrizio Milo committed
881

882
    def __iter__(self):
Leo Gao's avatar
Leo Gao committed
883
        if REQUEST_RETURN_LENGTHS[self.request_type] is None:
Fabrizio Milo's avatar
Fabrizio Milo committed
884
            raise IndexError("This request type does not return multiple arguments!")
Leo Gao's avatar
Leo Gao committed
885
886
        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
887

888
    def __getitem__(self, i):
Leo Gao's avatar
Leo Gao committed
889
        if REQUEST_RETURN_LENGTHS[self.request_type] is None:
Fabrizio Milo's avatar
Fabrizio Milo committed
890
            raise IndexError("This request type does not return multiple arguments!")
Leo Gao's avatar
Leo Gao committed
891
        return Request(self.request_type, self.args, i)
Fabrizio Milo's avatar
Fabrizio Milo committed
892

Leo Gao's avatar
Leo Gao committed
893
    def __eq__(self, other):
Fabrizio Milo's avatar
Fabrizio Milo committed
894
895
896
897
898
        return (
            self.request_type == other.request_type
            and self.args == other.args
            and self.index == other.index
        )
Leo Gao's avatar
Leo Gao committed
899

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

Jason Phang's avatar
Jason Phang committed
903

Leo Gao's avatar
Leo Gao committed
904
905
class RequestFactory:
    def __getattr__(self, attr):
Leo Gao's avatar
Update  
Leo Gao committed
906
907
        def fn(*args):
            return Request(attr, args)
Fabrizio Milo's avatar
Fabrizio Milo committed
908

Leo Gao's avatar
Leo Gao committed
909
910
911
912
        return fn


rf = RequestFactory()