| ## About | |
| Here we share a pretrained BERT model that is aware of math tokens. The math tokens are treated specially and tokenized using [pya0](https://github.com/approach0/pya0), which adds very limited new tokens for latex markup (total vocabulary is just 31,061). | |
| This model is trained on 4 x 2 Tesla V100 with a total batch size of 64, using Math StackExchange data with 2.7 million sentence pairs trained for 7 epochs. | |
| ### Usage | |
| Download and try it out | |
| ```sh | |
| pip install pya0==0.3.2 | |
| wget https://vault.cs.uwaterloo.ca/s/gqstFZmWHCLGXe3/download -O ckpt.tar.gz | |
| mkdir -p ckpt | |
| tar xzf ckpt.tar.gz -C ckpt --strip-components=1 | |
| python test.py --test_file test.txt | |
| ``` | |
| ### Test file format | |
| Modify the test examples in `test.txt` to play with it. | |
| The test file is tab-separated, the first column is additional positions you want to mask for the right-side sentence (useful for masking tokens in math markups). A zero means no additional mask positions. | |
| ### Example output | |
|  | |