[Performance improvement] "Bad tokens ids" optimization#6064
Merged
LysandreJik merged 17 commits intohuggingface:masterfrom guillaume-be:banned_tokens_optimizationAug 11, 2020
+121-6
Commits
Commits on Jul 26, 2020
Commits on Jul 27, 2020
Commits on Jul 28, 2020
- committed
- committed
- committed
- committed
- committed
Commits on Jul 29, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed