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