We the @huggingface community.
OPEN SOURCE
-
China’s Rise in AI and Open-Source Model Dilemma
By
–
China rising in AI — and the open-source dilemma. @megatobin1 + @CadeMetz nytimes.com/2024/07/25/techn…
-
Fine-tune Datasets: Practical Guide with Code Examples
By
–
This blog covers in-depth guide with practical code examples which you can use to fine-tune your datasets or any OS datasets from HF hubs. Read the blog now using the link below:
-
Fine-tuning Open Source LLMs with MonsterAPI Evaluation
By
–
Evaluation of fine-tuning LLMs using MonsterAPI Find out a new blog on how you can use @monsterapis for fine-tuning state-of-the-art open source LLMs and evaluate on benchmarks evaluation metrics such as MMLU, gsm8k, etc. Learn more below:
-
Llama 3.1 Becomes Number One Trending Model on Hugging Face
By
–
llama 3.1 by @AIatMeta is now #1 trending model on Hugging Face! https://
huggingface.co/models -
Open Research and Open-Source as Foundations for AI Leadership
By
–
Great article from @CadeMetz @nytimes! Open research and open-source are the foundations of AI progress and leadership. IMO, if you don't support them, either as a company or country, you run the risk of losing your leadership and control over your destiny! nytimes.com/2024/07/25/techn…
-
OpenAI’s Closed Approach Contrasts with Open Source Movement
By
–
Unfortunately @OpenAI does not believe in open source
-
DeepMind Builds on LeanDojo for AI-Powered Theorem Proving
By
–
I am thrilled to see @GoogleDeepMind build on our work in several instances to strengthen contributions to AI+Science and Math: 1. More than a year ago, we released the first open-source framework, https://
leandojo.org, using Lean+LLM for theorem proving and an AI Lean -
Fair Use Loopholes in AI Training Dataset Selection
By
–
I get that too. Fair Use and exceptions depend on "Use" and "purpose" — I hope they consider *all* of the uses not just a couple seeded by LAION that look innocent. (If not, that's another loophole!)
-
LeanDojo: Open-Source Framework for Lean and LLMs
By
–
https://t.co/yYKUrhx7UG was the first open-source framework that combined Lean with LLMs. We have also released Lean co-pilot to help you write proofs in Lean. The benefit of Lean is 100% accuracy and no hallucination in generated proofs. https://t.co/CWwYulnvFc https://t.co/BMxK3cio1l
— Prof. Anima Anandkumar (@AnimaAnandkumar) 25 juillet 2024https://
leandojo.org was the first open-source framework that combined Lean with LLMs. We have also released Lean co-pilot to help you write proofs in Lean. The benefit of Lean is 100% accuracy and no hallucination in generated proofs. https://
github.com/lean-dojo/Lean
Copilot
…