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