Polyglot-math-4x7b-24b

Polyglot-4x7b is a Mixture of Experts approach to a multilingual model.

The model is a merge of models that are capable of Chinese and Japanese output.

• meta-math/MetaMath-Mistral-7B
• oshizo/japanese-e5-mistral-7b_slerp
• cognitivecomputations/dolphin-2.6-mistral-7b-dpo-laser
• s3nh/Mistral-7B-Evol-Instruct-Chinese

I fit the gsm8k evaluation for this model on 20GB of VRAM.

Code Example

Inference Colab

from transformers import AutoModelForCausalLM, AutoTokenizer

def generate_response(prompt):
    """
    Generate a response from the model based on the input prompt.

    Args:
    prompt (str): Prompt for the model.

    Returns:
    str: The generated response from the model.
    """
    # Tokenize the input prompt
    inputs = tokenizer(prompt, return_tensors="pt")

    # Generate output tokens
    outputs = model.generate(**inputs, max_new_tokens=256, eos_token_id=tokenizer.eos_token_id, pad_token_id=tokenizer.pad_token_id)

    # Decode the generated tokens to a string
    response = tokenizer.decode(outputs[0], skip_special_tokens=True)

    return response

# Load the model and tokenizer
model_id = "macadeliccc/polyglot-math-4x7b"
tokenizer = AutoTokenizer.from_pretrained(model_id)
model = AutoModelForCausalLM.from_pretrained(model_id, load_in_4bit=True)

# Math prompts in different languages
english_math_prompt = "Explain the proof of Fermat's Last Theorem and its implications in number theory."
chinese_math_prompt = "解释费马大定理的证明及其在数论中的意义。"
japanese_math_prompt = "フェルマーの最終定理の証明と数論におけるその意義について説明してください。"

# Generate and print responses for each math prompt
print("English Math Response:")
print(generate_response(english_math_prompt), "\n")

print("Chinese Math Response:")
print(generate_response(chinese_math_prompt), "\n")

print("Japanese Math Response:")
print(generate_response(japanese_math_prompt), "\n")

Example Output

**The math model was trained in english so it defaults to english, but it still understands the question and can translate the answer. English:

Explain the proof of Fermat's Last Theorem and its implications in number theory.

Fermat's Last Theorem (FLT) states that there are no non-trivial integer solutions to the equation $x^n + y^n = z^n$ for any integer $n \geq 3$. The proof of FLT was a long-standing problem in number theory, and it was finally proven in 1995 by Andrew Wiles.

The proof of FLT is quite complex and involves many different techniques and ideas from number theory, algebra, and analysis. The main idea behind the proof is to use elliptic curves and modular forms to construct a system of equations that can be used to show that there are no non-trivial integer solutions to the equation $x^n + y^n = z^n$ for any integer $n \geq 3$.

The implications of FLT in number theory are far-reaching. The proof of FLT relies on many different techniques and ideas from number theory, and it has led to the development of new techniques and ideas in the field. This is a simple implementation of the quicksort algorithm in python. The function quicksort takes an array as input and returns a sorted array. The algorithm works by selecting a pivot element from the array and partitioning the other elements into two sub-arrays, according to whether they are less than or greater than the pivot. The process is then repeated recursively on the sub-arrays until the entire array is sorted.

Chinese Response:

解释费马大定理的证明及其在数论中的意义。

Fermat's Last Theorem (FLT) is a statement in number theory that states that there are no non-trivial integer solutions to the equation $x^n + y^n = z^n$ for any integer $n \geq 3$.

The proof of FLT was a long-standing open problem in mathematics. In 1993, Andrew Wiles, a British mathematician, published a proof of FLT using the techniques of elliptic curves and modular forms.

The proof of FLT is considered one of the most important achievements in mathematics in the 20th century. It is a testament to the power of mathematics and the dedication of mathematicians to solve difficult problems.

The proof of FLT has also had a significant impact on the field of number theory. It has led to the development of new techniques and theorems, and has inspired further research in the field.

In summary, the proof of FLT is a significant achievement in mathematics that has had a profound impact on the field of number theory. It is a testament to the power of mathematics and the dedication of mathematicians

Japanese Response:

フェルマーの最終定理の証明と数論におけるその意義について説明してください。

The Fermat's Last Theorem (FLT) is a statement in number theory that states that there are no non-trivial integer solutions to the equation $a^n + b^n = c^n$ for any positive integer $n$ greater than 2.

The proof of FLT was a long-standing open problem in mathematics. In 1993, Andrew Wiles, a British mathematician, published a proof of FLT using the techniques of elliptic curves and modular forms.

The proof of FLT is considered one of the most important achievements in mathematics in the 20th century. It is a prime example of the power of abstract algebra and number theory in solving difficult problems in mathematics.

The proof of FLT also has implications for other areas of mathematics, such as algebraic geometry and number theory. For example, the proof of FLT relies on the Taniyama-Shimura-Weil conjecture, which states that every elliptic curve is a modular form. This conjecture was proven by Wiles and his collaborators, and it has since been used to prove other theorems

Evaluations

Tasks	Version	Filter	n-shot	Metric	Value		Stderr
gsm8k	Yaml	get-answer	5	exact_match	0.5504	±	0.0137

Open LLM Leaderboard Evaluation Results

Detailed results can be found here

Metric	Value
Avg.	66.84
AI2 Reasoning Challenge (25-Shot)	63.74
HellaSwag (10-Shot)	84.85
MMLU (5-Shot)	63.57
TruthfulQA (0-shot)	53.78
Winogrande (5-shot)	78.45
GSM8k (5-shot)	56.63