this post was submitted on 23 Nov 2023
1 points (100.0% liked)

LocalLLaMA

1 readers
1 users here now

Community to discuss about Llama, the family of large language models created by Meta AI.

founded 10 months ago
MODERATORS
communick@poweruser.forum
1
Ilya paper about Q* (alien.top)
submitted 10 months ago by Xnohat@alien.top to c/localllama@poweruser.forum
16 comments fedilink hide all child comments
 

Ilya from OpenAI have published a paper (2020) about Q* : a GPT-f model have capabilities in understand and resolve Math, Automated Theorem Proving.

https://arxiv.org/abs/2009.03393

When AI model can understand and really doing Math, that a critical jump.

you are viewing a single comment's thread
view the rest of the comments
[โ€“] wind_dude@alien.top 1 points 10 months ago (1 children)

PRM8k, made the rounds maybe 6+ months but they never publicly released the model.

[โ€“] dododragon@alien.top 1 points 10 months ago

I've recently just got into LLM's have you tried these math models? They seem to follow math related instructions reasonably well.

wizard-math:13b-q6_KMathLLM-MathCoder-CL-7B.Q8_0.ggufmetamath-mistral-7b.Q5_K_M.gguf