This post has been de-listed
It is no longer included in search results and normal feeds (front page, hot posts, subreddit posts, etc). It remains visible only via the author's post history.
100
SOTA open-sourced Math reasoning LLMs. A solver, prover, verifier, augmentor. [Discussion]
Post Flair (click to view more posts with a particular flair)
Author Summary
OpenMMLab is
in
DISCUSSION
Post Body
Shanghai AI Laboratory introduces new SOTA math LLMs with 7B and 20B sized open-sourced.
Github: https://github.com/InternLM/InternLM-Math
Huggingface:https://huggingface.co/internlm/internlm2-math-7b
Demo: https://huggingface.co/spaces/internlm/internlm2-math-7b
Features:
- 7B and 20B Chinese and English Math LMs with better than ChatGPT performances. InternLM2-Math are continued pretrained from InternLM2-Base with ~100B high quality math-related tokens and SFT with ~2M bilingual math supervised data. We apply minhash and exact number match to decontaminate possible test set leakage.
- Add Lean as a support language for math problem solving and math theorem proving. We are exploring combining Lean 3 with InternLM-Math for verifiable math reasoning. InternLM-Math can generate Lean codes for simple math reasoning tasks like GSM8K or provide possible proof tactics based on Lean states.
- Also can be viewed as a reward model, which supports the Outcome/Process/Lean Reward Model. We supervise InternLM2-Math with various types of reward modeling data, to make InternLM2-Math can also verify chain-of-thought processes. We also add the ability to convert a chain-of-thought process into Lean 3 code.
- A Math LM Augment Helper and Code Intepreter. InternLM2-Math can help augment math reasoning problems and solve them using the code interpreter, which makes you generate synthesis data quicker!
Performances:
Duplicate Posts
2 posts with the exact same title by 1 other authors
View Details
Author
Account Strength
50%
Account Age
2 years
Verified Email
Yes
Verified Flair
No
Total Karma
97
Link Karma
93
Comment Karma
4
Profile updated: 5 days ago
Subreddit
Post Details
Location
We try to extract some basic information from the post title. This is not
always successful or accurate, please use your best judgement and compare
these values to the post title and body for confirmation.
- Posted
- 9 months ago
- Reddit URL
- View post on reddit.com
- External URL
- reddit.com/r/LocalLLaMA/...