🐳 👑 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search paper: arxiv.org/abs/2408.08152 🔗: github.com/deepseek-ai/De…

🐟 What is a SWARM? 🐝 In biology, a SWARM is when large numbers of homogeneous and decentralized agents cooperate. We often marvel at this collective behavior of bees, ants, birds, fish…even bacteria and microbes. 🤔 And, what is an ARCEE-SWARM? ✅ This week, we released a

Hermbliterated

I heard Lepton AI was hosting deepseek-v2, but can't find it on their website. Did they remove this model?

Okay - time to try Jax.

I’ll have you know, that Prince enjoys cooking. Just you wait.

Screw it - deepseek v2 awq: huggingface.co/arcee-ai/deeps…

Early Ark. rubber on the sides is so squishy haha. Maps of the entire world, gps, fine-tuned 8b models for medical questions and rebuilding civilization, lora communication module All local All independent of external sources

A very powerful model, trained with Spectrum, merged with Llama-Spark and utilizing the Tome/Agent-data datasets (among others). It's nice to have the pipeline externally validated. Great job Ashvini Jindal - it's clear a lot of care was put into this.

Okay this is a great look for anthropic.

LM studio ships

I had the pleasure of visiting LM Studio back in May and meeting the amazing team, including yagil. He’s such a generous founder who was incredibly supportive of me during my early career. They ship with passion and elegance. Everything they do is driven by a desire to make

AI Engineers

They don't hold back. My god. 🐋

🧑‍🍳

Finally a spark of AGI happened at Arcee.ai

Meraj was a true cross-team effort led by Malikeh Ehghaghi and Shahrzad Sayehban at Arcee, with help from Maziyar PANAHI. Built on Arcee-Nova, it’s a delightful model that excels in Arabic. Try it out. We think you’ll like it.

NousCon, September 18th, San Francisco, Limited Space. lu.ma/zlgp0ljd

A tremendously generous contribution to open science. Thank you Ai2, and huge congratulations to the team.

Scarlett Johansson’s work on seq2seq was instrumental to getting ML where it is today.