Instructions to use cs-552-2026-vibe-trainers/math_model with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Libraries
- Transformers
How to use cs-552-2026-vibe-trainers/math_model with Transformers:
# Use a pipeline as a high-level helper from transformers import pipeline pipe = pipeline("text-generation", model="cs-552-2026-vibe-trainers/math_model") messages = [ {"role": "user", "content": "Who are you?"}, ] pipe(messages)# Load model directly from transformers import AutoTokenizer, AutoModelForCausalLM tokenizer = AutoTokenizer.from_pretrained("cs-552-2026-vibe-trainers/math_model") model = AutoModelForCausalLM.from_pretrained("cs-552-2026-vibe-trainers/math_model", device_map="auto") messages = [ {"role": "user", "content": "Who are you?"}, ] inputs = tokenizer.apply_chat_template( messages, add_generation_prompt=True, tokenize=True, return_dict=True, return_tensors="pt", ).to(model.device) outputs = model.generate(**inputs, max_new_tokens=40) print(tokenizer.decode(outputs[0][inputs["input_ids"].shape[-1]:])) - Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- vLLM
How to use cs-552-2026-vibe-trainers/math_model with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "cs-552-2026-vibe-trainers/math_model" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "cs-552-2026-vibe-trainers/math_model", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/cs-552-2026-vibe-trainers/math_model
- SGLang
How to use cs-552-2026-vibe-trainers/math_model with SGLang:
Install from pip and serve model
# Install SGLang from pip: pip install sglang # Start the SGLang server: python3 -m sglang.launch_server \ --model-path "cs-552-2026-vibe-trainers/math_model" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "cs-552-2026-vibe-trainers/math_model", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker images
docker run --gpus all \ --shm-size 32g \ -p 30000:30000 \ -v ~/.cache/huggingface:/root/.cache/huggingface \ --env "HF_TOKEN=<secret>" \ --ipc=host \ lmsysorg/sglang:latest \ python3 -m sglang.launch_server \ --model-path "cs-552-2026-vibe-trainers/math_model" \ --host 0.0.0.0 \ --port 30000 # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:30000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "cs-552-2026-vibe-trainers/math_model", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }' - Docker Model Runner
How to use cs-552-2026-vibe-trainers/math_model with Docker Model Runner:
docker model run hf.co/cs-552-2026-vibe-trainers/math_model
Update Automated MNLP evaluation report (2026-05-23)
Browse files- EVAL_REPORT.md +90 -75
EVAL_REPORT.md
CHANGED
|
@@ -2,7 +2,7 @@
|
|
| 2 |
|
| 3 |
- **Model repo:** [`cs-552-2026-vibe-trainers/math_model`](https://huggingface.co/cs-552-2026-vibe-trainers/math_model)
|
| 4 |
- **Owner(s):** group **vibe-trainers**
|
| 5 |
-
- **Generated at:** 2026-05-
|
| 6 |
- **Pipeline:** [mnlp-project-ci](https://github.com/eric11eca/mnlp-project-ci)
|
| 7 |
|
| 8 |
_This PR is opened automatically by the course CI. It is **non-blocking** — you do not need to merge it. The next nightly run will refresh this file._
|
|
@@ -30,103 +30,118 @@ _Prompts are intentionally omitted to avoid revealing benchmark contents. For mu
|
|
| 30 |
- **completion**:
|
| 31 |
|
| 32 |
```text
|
| 33 |
-
|
| 34 |
-
\[ P(X = k) = \binom{n}{k} p^k (1-p)^{n-k} \]
|
| 35 |
-
where:
|
| 36 |
-
- \( n \) is the total number of trials (in this case, 7 islands),
|
| 37 |
-
- \( k \) is the number of successes (in this case, 4 islands with treasure),
|
| 38 |
-
- \( p \) is the probability of success on a single trial (in this case, \(\frac{1}{5}\)).
|
| 39 |
|
| 40 |
-
|
| 41 |
-
\[ \binom{7}{4} = \frac{7!}{4!(7-4)!} = \frac{7 \times 6 \times 5}{3 \times 2 \times 1} = 35 \]
|
| 42 |
|
| 43 |
-
|
| 44 |
-
\[ \left(\frac{1}{5}\right)^4 = \frac{1}{625} \]
|
| 45 |
|
| 46 |
-
|
| 47 |
-
|
|
|
|
|
|
|
| 48 |
|
| 49 |
-
|
| 50 |
-
\[ P(X = 4) = 35 \times \frac{1}{625} \times \frac{64}{125} = \frac{35 \times 64}{625 \times 125} = \frac{2240}{78125} = \frac{1792}{62500} = \frac{448}{15625} \]
|
| 51 |
-
|
| 52 |
-
Conclusion:
|
| 53 |
-
The probability that exactly 4 out of the 7 islands contain treasure is:
|
| 54 |
-
\[ \boxed{\frac{448}{15625}} \]
|
| 55 |
-
```
|
| 56 |
-
|
| 57 |
-
**Incorrect** (1 shown)
|
| 58 |
-
|
| 59 |
-
- **reference**: `$g(x)=c, g(x)=\lceil x \rceil, g(x)=\lfloor x \rfloor$`
|
| 60 |
-
- **overall** (0/8 completions correct)
|
| 61 |
-
- **extracted** (✗): `h(x) = -x^2`
|
| 62 |
-
- **completion**:
|
| 63 |
-
|
| 64 |
-
```text
|
| 65 |
-
1. **Initial Equation Setup:**
|
| 66 |
-
We start with the given functional equation:
|
| 67 |
-
\[
|
| 68 |
-
h(x) = h\left(\frac{h(bx - a) + a}{b}\right)
|
| 69 |
-
\]
|
| 70 |
-
for all \(x \in \mathbb{Q}\), \(a \in \mathbb{Z}\), and \(b \in \mathbb{N}\).
|
| 71 |
-
|
| 72 |
-
2. **Assumption of a Solution:**
|
| 73 |
-
Suppose there exists a solution \(h\) such that \(h(q) = 0\) for some \(q \in \mathbb{Q}\).
|
| 74 |
-
|
| 75 |
-
3. **Substitution and Simplification:**
|
| 76 |
-
Let \(x
|
| 77 |
-
|
| 78 |
-
... [truncated 578 chars] ...
|
| 79 |
-
|
| 80 |
-
1) + b}{b}\right)
|
| 81 |
-
\]
|
| 82 |
-
This simplifies to:
|
| 83 |
-
\[
|
| 84 |
-
h\left(\frac{q}{b}\right) = h\left(\frac{h(q - 1) + b}{b}\right)
|
| 85 |
-
\]
|
| 86 |
-
Given \(h(q) = 0\), we have:
|
| 87 |
\[
|
| 88 |
-
|
| 89 |
\]
|
| 90 |
-
|
| 91 |
\[
|
| 92 |
-
|
| 93 |
\]
|
| 94 |
|
| 95 |
-
|
| 96 |
-
By induction, we can generalize that for any integer \(n\):
|
| 97 |
\[
|
| 98 |
-
|
| 99 |
-
\]
|
| 100 |
-
This implies that for any integer \(n\):
|
| 101 |
-
\[
|
| 102 |
-
h(nq) = -bn^2
|
| 103 |
\]
|
| 104 |
|
| 105 |
-
|
| 106 |
-
We need to verify that \(h(x) = -x^2\) satisfies the original equation. Let:
|
| 107 |
\[
|
| 108 |
-
|
| 109 |
\]
|
| 110 |
-
Substitute \(h(x) = -x^2\) into the original equation:
|
| 111 |
\[
|
| 112 |
-
|
| 113 |
\]
|
| 114 |
-
|
|
|
|
| 115 |
\[
|
| 116 |
-
|
| 117 |
\]
|
| 118 |
-
|
|
|
|
| 119 |
\[
|
| 120 |
-
|
| 121 |
\]
|
| 122 |
-
|
|
|
|
| 123 |
\[
|
| 124 |
-
|
| 125 |
\]
|
| 126 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 127 |
|
| 128 |
-
|
| 129 |
\[
|
| 130 |
-
\boxed{h(x) =
|
| 131 |
\]
|
| 132 |
```
|
|
|
|
| 2 |
|
| 3 |
- **Model repo:** [`cs-552-2026-vibe-trainers/math_model`](https://huggingface.co/cs-552-2026-vibe-trainers/math_model)
|
| 4 |
- **Owner(s):** group **vibe-trainers**
|
| 5 |
+
- **Generated at:** 2026-05-23T14:37:35+00:00 (UTC)
|
| 6 |
- **Pipeline:** [mnlp-project-ci](https://github.com/eric11eca/mnlp-project-ci)
|
| 7 |
|
| 8 |
_This PR is opened automatically by the course CI. It is **non-blocking** — you do not need to merge it. The next nightly run will refresh this file._
|
|
|
|
| 30 |
- **completion**:
|
| 31 |
|
| 32 |
```text
|
| 33 |
+
<think>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 34 |
|
| 35 |
+
</think>
|
|
|
|
| 36 |
|
| 37 |
+
The problem involves finding the probability of exactly 4 out of 7 islands containing treasure, where each island has a probability of \(\frac{1}{5}\) of containing treasure. This is a binomial probability problem.
|
|
|
|
| 38 |
|
| 39 |
+
1. **Identify the parameters**:
|
| 40 |
+
- Number of trials \( n = 7 \)
|
| 41 |
+
- Probability of success \( p = \frac{1}{5} \)
|
| 42 |
+
- Desired number of successes \( k = 4 \)
|
| 43 |
|
| 44 |
+
2. **Use the binomial probability formula**:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 45 |
\[
|
| 46 |
+
P(X = k) = \binom{n}{k} p^k (1-p)^{n-k}
|
| 47 |
\]
|
| 48 |
+
Substituting the values, we get:
|
| 49 |
\[
|
| 50 |
+
P(X = 4) = \binom{7}{4} \left(\frac{1}{5}\right)^4 \left(\frac{4}{5}\right)^{3}
|
| 51 |
\]
|
| 52 |
|
| 53 |
+
3. **Calculate the binomial coefficient**:
|
|
|
|
| 54 |
\[
|
| 55 |
+
\binom{7}{4} = \frac{7!}{4!(7-4)!} = \frac{7 \times 6 \times 5 \times 4!}{4! \times 3 \times 2 \times 1} = 35
|
|
|
|
|
|
|
|
|
|
|
|
|
| 56 |
\]
|
| 57 |
|
| 58 |
+
4. **Calculate the probabilities**:
|
|
|
|
| 59 |
\[
|
| 60 |
+
\left(\frac{1}{5}\right)^4 = \frac{1}{625}
|
| 61 |
\]
|
|
|
|
| 62 |
\[
|
| 63 |
+
\left(\frac{4}{5}\right)^3 = \frac{64}{125}
|
| 64 |
\]
|
| 65 |
+
|
| 66 |
+
5. **Combine the results**:
|
| 67 |
\[
|
| 68 |
+
P(X = 4) = 35 \times \frac{1}{625} \times \frac{64}{125} = 35 \times \frac{64}{78125} = \frac{2240}{78125}
|
| 69 |
\]
|
| 70 |
+
|
| 71 |
+
6. **Simplify the fraction**:
|
| 72 |
\[
|
| 73 |
+
\frac{2240}{78125} = \frac{224}{7812.5} = \frac{448}{15625}
|
| 74 |
\]
|
| 75 |
+
|
| 76 |
+
7. **Final probability**:
|
| 77 |
\[
|
| 78 |
+
\boxed{\frac{448}{15625}}
|
| 79 |
\]
|
| 80 |
+
```
|
| 81 |
+
|
| 82 |
+
**Incorrect** (1 shown)
|
| 83 |
+
|
| 84 |
+
- **reference**: `$g(x)=c, g(x)=\lceil x \rceil, g(x)=\lfloor x \rfloor$`
|
| 85 |
+
- **overall** (0/8 completions correct)
|
| 86 |
+
- **extracted** (✗): `h(x) = c \text{ for all } x \in \mathbb{Q} \text{ and some } c \in \mathbb{Z}`
|
| 87 |
+
- **completion**:
|
| 88 |
+
|
| 89 |
+
```text
|
| 90 |
+
<think>
|
| 91 |
+
|
| 92 |
+
</think>
|
| 93 |
+
|
| 94 |
+
To solve the problem, we need to find all functions \( h: \mathbb{Q} \to \mathbb{Z} \) such that for every \( x \in \mathbb{Q} \), every \( a \in \mathbb{Z} \), and every positive integer \( b \), the following equation holds:
|
| 95 |
+
\[
|
| 96 |
+
h(x) = h\left( \frac{h(bx - a) + a}{b} \right).
|
| 97 |
+
\]
|
| 98 |
+
|
| 99 |
+
#### Step 1: Analyzing the functional equation
|
| 100 |
+
|
| 101 |
+
Given the equation:
|
| 102 |
+
\[
|
| 103 |
+
h(x) = h\left( \frac{h(bx -
|
| 104 |
+
|
| 105 |
+
... [truncated 629 chars] ...
|
| 106 |
+
|
| 107 |
+
t).
|
| 108 |
+
\]
|
| 109 |
+
Since \( a \) and \( b \) are arbitrary, we can choose \( a = b \):
|
| 110 |
+
\[
|
| 111 |
+
h(1) = h(0).
|
| 112 |
+
\]
|
| 113 |
+
Thus, \( h(1) = h(0) \).
|
| 114 |
+
|
| 115 |
+
#### Step 4: Assume \( h \) is a constant function
|
| 116 |
+
|
| 117 |
+
Assume \( h(x) = c \) for all \( x \in \mathbb{Q} \). Then:
|
| 118 |
+
\[
|
| 119 |
+
c = h\left( \frac{c + a}{b} \right) = c,
|
| 120 |
+
\]
|
| 121 |
+
which is always true. Therefore, \( h(x) = c \) is a solution for any constant \( c \in \mathbb{Z} \).
|
| 122 |
+
|
| 123 |
+
#### Step 5: Verify if \( h(x) = c \) is the only solution
|
| 124 |
+
|
| 125 |
+
Let's suppose \( h(x) \neq c \) for some \( x \). Consider \( x = 1 \):
|
| 126 |
+
\[
|
| 127 |
+
h(1) = c.
|
| 128 |
+
\]
|
| 129 |
+
Now, let's set \( x = \frac{1}{b} \):
|
| 130 |
+
\[
|
| 131 |
+
h\left(\frac{1}{b}\right) = h\left( \frac{h(1) - 1}{b} \right) = h\left( \frac{c - 1}{b} \right).
|
| 132 |
+
\]
|
| 133 |
+
If \( c \neq b \), then \( \frac{c-1}{b} \neq 0 \), and we can choose \( a = c - 1 \) and \( b = c \):
|
| 134 |
+
\[
|
| 135 |
+
h\left(\frac{c-1}{c}\right) = h(0).
|
| 136 |
+
\]
|
| 137 |
+
This implies \( h\left(\frac{c-1}{c}\right) = c \), which contradicts \( h(x) \neq c \).
|
| 138 |
+
|
| 139 |
+
Therefore, \( h(x) = c \) is the only constant solution.
|
| 140 |
+
|
| 141 |
+
#### Conclusion:
|
| 142 |
|
| 143 |
+
The only function \( h: \mathbb{Q} \to \mathbb{Z} \) that satisfies the given functional equation is the constant function:
|
| 144 |
\[
|
| 145 |
+
\boxed{h(x) = c \text{ for all } x \in \mathbb{Q} \text{ and some } c \in \mathbb{Z}}.
|
| 146 |
\]
|
| 147 |
```
|