metadata

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.