|
--- |
|
license: cc-by-nc-4.0 |
|
language: |
|
- en |
|
pipeline_tag: text-generation |
|
datasets: |
|
- Skylion007/openwebtext |
|
- Locutusque/TM-DATA |
|
inference: |
|
parameters: |
|
do_sample: True |
|
temperature: 0.7 |
|
top_p: 0.2 |
|
top_k: 14 |
|
max_new_tokens: 250 |
|
repetition_penalty: 1.16 |
|
widget: |
|
- text: >- |
|
TITLE: Dirichlet density QUESTION [5 upvotes]: How to solve the following exercise: Let $q$ be prime. Show that the set of primes p for which $p \equiv 1\pmod q$ and $$2^{(p-1)/q} \equiv 1 \pmod p$$ has Dirichlet density $\dfrac{1}{q(q-1)}$. I want to show that $X^q-2$ (mod $p$) has a solution and $q$ divides $p-1$ , these two conditions are simultaneonusly satisfied iff p splits completely in $\Bbb{Q}(\zeta_q,2^{\frac{1}{q}})$. $\zeta_q $ is primitive $q^{th}$ root of unity. If this is proved the I can conclude the result by Chebotarev density theorem. REPLY [2 votes]: |
|
- text: >- |
|
An emerging clinical approach to treat substance abuse disorders involves a form of cognitive-behavioral therapy whereby addicts learn to reduce their reactivity to drug-paired stimuli through cue-exposure or extinction training. It is, however, |
|
--- |
|
# Training |
|
This model was trained on two datasets, shown in this model page. |
|
- Skylion007/openwebtext: 1,000,000 examples at a batch size of 32-4096 (1 epoch) |
|
- Locutusque/TM-DATA: All examples at a batch size of 12288 (3 epochs) |
|
Training took approximately 500 GPU hours on a single Titan V. |
|
# Metrics |
|
You can look at the training metrics here: |
|
https://wandb.ai/locutusque/TinyMistral-V2/runs/g0rvw6wc |
|
# License |
|
This model is released under the cc-by-nc-4.0 license. This is because the data used to train this model is under this same license. |
|
|