Hacker News
Linking pages
- Llemma: An Open Language Model For Mathematics | EleutherAI Blog https://blog.eleuther.ai/llemma/ 6 comments
- GitHub - lean-dojo/LeanCopilot: LLMs as Copilots for Theorem Proving in Lean https://github.com/lean-dojo/LeanCopilot 1 comment
- How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments
Related searches:
Search whole site: site:leandojo.org
Search title: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
See how to search.