Lobsters
- Llemma: An Open Language Model For Mathematics https://blog.eleuther.ai/llemma/ 5 comments ai , math
Linking pages
Linked pages
- LeanDojo: Theorem Proving with Retrieval-Augmented Language Models https://leandojo.org/ 56 comments
- [2310.10631] Llemma: An Open Language Model For Mathematics https://arxiv.org/abs/2310.10631 46 comments
- [2305.20050] Let's Verify Step by Step https://arxiv.org/abs/2305.20050 3 comments
- [2202.01344] Formal Mathematics Statement Curriculum Learning https://arxiv.org/abs/2202.01344#openai 1 comment
- GitHub - EleutherAI/math-lm https://github.com/EleutherAI/math-lm 1 comment
- [2211.09066] Teaching Algorithmic Reasoning via In-context Learning https://arxiv.org/abs/2211.09066 0 comments
- [2303.04910] Baldur: Whole-Proof Generation and Repair with Large Language Models https://arxiv.org/abs/2303.04910 0 comments
- open-web-math/open-web-math · Datasets at Hugging Face https://huggingface.co/datasets/open-web-math/open-web-math 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:blog.eleuther.ai
Search title: Llemma: An Open Language Model For Mathematics | EleutherAI Blog
See how to search.