---
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.