More than one mask_token is not supported on huggingface.
Browse files
README.md
CHANGED
@@ -5,17 +5,13 @@ tags:
|
|
5 |
- pretraining
|
6 |
- fill-mask
|
7 |
widget:
|
8 |
-
- text: "Determine the [MASK] of $f$ $($ $x$ [MASK] $equal$ $x$ $plus$ $root$ ${$ $4$ $minus$ $x$ $supscript$ $2$ $}$ without [MASK]"
|
9 |
-
example_title: "mathy"
|
10 |
-
- text: "Solve $y$ $prime$ [MASK] $minus$ $4$ $y$ $prime$ $plus$ $4$ $y$ [MASK] $x$ $e$ $supscript$ $x$"
|
11 |
-
example_title: "mathy"
|
12 |
- text: "$f$ $($ $x$ [MASK] $y$ $)$"
|
13 |
example_title: "mathy"
|
14 |
- text: "$x$ [MASK] $x$ $equal$ $2$ $x$"
|
15 |
example_title: "mathy"
|
16 |
-
- text: "
|
17 |
example_title: "mathy"
|
18 |
-
- text: "Proof by
|
19 |
example_title: "mathy"
|
20 |
- text: "The goal of life is [MASK]."
|
21 |
example_title: "philosophical"
|
|
|
5 |
- pretraining
|
6 |
- fill-mask
|
7 |
widget:
|
|
|
|
|
|
|
|
|
8 |
- text: "$f$ $($ $x$ [MASK] $y$ $)$"
|
9 |
example_title: "mathy"
|
10 |
- text: "$x$ [MASK] $x$ $equal$ $2$ $x$"
|
11 |
example_title: "mathy"
|
12 |
+
- text: "Proof by [MASK] that $n$ $fact$ $gt$ $3$ $n$ for $n$ $gt$ $6$"
|
13 |
example_title: "mathy"
|
14 |
+
- text: "Proof by induction that $n$ [MASK] $gt$ $3$ $n$ for $n$ $gt$ $6$"
|
15 |
example_title: "mathy"
|
16 |
- text: "The goal of life is [MASK]."
|
17 |
example_title: "philosophical"
|