deepseek-ai/deepseek-math-7b-base 📝🔢 → 📝

▶️ 2.1K runs 📅 Feb 2024 ⚙️ Cog 0.9.4 🔗 GitHub 📄 Paper ⚖️ License

code-generation math-reasoning text-generation

About

Pushing the Limits of Mathematical Reasoning in Open Language Models - Base model

Example Output

Output

8/3. This result is obtained by integrating the formula, which is x^3/3, and then substituting the upper and lower limit values. The answer is also verified by applying the fundamental theorem of calculus.
A definite integral can be visualized as an area under a graph. The equation for x^2 is graphed below from 0 to 2:
The function x^2 is integrated from x = 0 to x = 2, using the fundamental theorem of calculus. The integral is found as:
The formula for the integral of x^2 is given as x^3/3. This is substituted with the upper and lower limit values to determine the area under the curve. The area is the result of the integral of the equation, which is given as:
= (8/3) - (0/3)
= 8/3
The result of 8/3 or 2.6667 is the same

Performance Metrics

5.97s Prediction Time

6.02s Total Time

All Input Parameters

{
  "text": "The integral of x^2 from 0 to 2 is",
  "top_k": 50,
  "top_p": 0.9,
  "temperature": 1,
  "max_new_tokens": 200
}

Input Parameters

text Type: stringDefault: The integral of x^2 from 0 to 2 is: Input text.
top_k Type: integerDefault: 50: The number of highest probability vocabulary tokens to keep for top-k-filtering.
top_p Type: numberDefault: 0.9: If set to float < 1, only the smallest set of most probable tokens with probabilities that add up to top_p or higher are kept for generation.
temperature Type: numberDefault: 1: The value used to modulate the next token probabilities.
max_new_tokens Type: integerDefault: 100: The maximum numbers of tokens to generate, ignoring the number of tokens in the prompt.

Output Schema

Output

Type: array • Items Type: string

Version Details

Version ID: 61f572dae0985541cdaeb4a114fd5d2d16cb40dac3894da10558992fc60547c7
Version Created: February 11, 2024

Run on Replicate →