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"
|