t5_numbers_gcd

numbers_gcd

---

language: en datasets:

• numbers_gcd

---

This is a t5-small fine-tuned version on the math_dataset/numbers_gcd for solving greatest common divisor mission.

To load the model: (necessary packages: !pip install transformers sentencepiece)

from transformers import AutoTokenizer, AutoModelWithLMHead
tokenizer = AutoTokenizer.from_pretrained("dbernsohn/t5_numbers_gcd")
model = AutoModelWithLMHead.from_pretrained("dbernsohn/t5_numbers_gcd")

You can then use this model to solve algebra 1d equations into numbers.

query = "What is the highest common factor of 4210884 and 72?"
input_text = f"{query} </s>"
features = tokenizer([input_text], return_tensors='pt')
model.to('cuda')
output = model.generate(input_ids=features['input_ids'].cuda(), 
                        attention_mask=features['attention_mask'].cuda())

tokenizer.decode(output[0])
# <pad> 36</s>

Another examples:

• Calculate the greatest common factor of 3470 and 97090.
• Answer: 10 Pred: 10

---

• Calculate the highest common factor of 3480 and 775431.
• Answer: 87 Pred: 87

---

• What is the highest common divisor of 26 and 88049?
• Answer: 13 Pred: 13

---

• Calculate the highest common factor of 1416 and 24203688.
• Answer: 1416 Pred: 1416

---

• Calculate the highest common divisor of 124 and 69445828.
• Answer: 124 Pred: 124

---

• What is the greatest common factor of 657906 and 470?
• Answer: 94 Pred: 94

---

• What is the highest common factor of 4210884 and 72?
• Answer: 36 Pred: 36

The whole training process and hyperparameters are in my GitHub repo

Created by Dor Bernsohn