Skip to content

yeahrmek

arxiv-math-lean

yeahrmek/arxiv-math-lean

arxiv-math-lean is a machine learning model from yeahrmek. Use it for the machine learning task on the model card, and read the license before you ship it in a product.

This is a BPE tokenizer based on "Salesforce/codegen-350M-mono". The tokenizer has been trained to treat spaces like parts of the tokens (a bit like sentencepiece) so a word will be encoded differently whether it is a…

Downloads · 30 days

0

Access

Public

Updated Oct 27, 2022

Repo size

—

Likes

0

Public

Hugging Face

Repo makeup

Click a slice to open those files.

.json2.9 MB · 86%

At a glance

Access
Public
Created
Oct 27, 2022
Updated
Oct 27, 2022
SHA
f5f76645
Created
Oct 27, 2022
Updated
Oct 27, 2022
arxiv-math-lean — AI Model — AIMarketly