Omg yes. It's got pretty much all perl's beautiful cmd line args. So nice.
OPEN SOURCE
-
DeepSeek-Prover-V1.5: Advanced Theorem Proving with Reinforcement Learning
By
–
DeepSeek-Prover-V1.5 Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search discuss: https://
huggingface.co/papers/2408.08
152
… We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances -
Tenstorrent Blackhole and TT-Metalium at Hot Chips 2024
By
–
Tenstorrent fellows @JasminaVas and @davorVDR will be talking about Blackhole and our #opensource TT-Metalium stack at @hotchipsorg
. Find out more –> http://
bit.ly/tt_hot_chips_24 -
NVIDIA Refines Llama 3.1 8B into Minitron 4B Model
By
–
Using structured weight pruning and knowledge distillation, the @NVIDIAAI research team refined Llama 3.1 8B into a new Llama-3.1-Minitron 4B. They're releasing the new models on @huggingface and shared a deep dive on how they did it https://
go.fb.me/b2h2c8 -
Cohere for AI Wins Best Paper Award at ACL 2024
By
–
Congratulations to the @CohereForAI team on winning the best paper award at ACL, 2024!
— Cohere (@cohere) 15 août 2024
We're excited about the recognition of C4AI’s contributions and dedication to advancing the field. https://t.co/ZjE0PxWRsvCongratulations to the @CohereForAI team on winning the best paper award at ACL, 2024! We're excited about the recognition of C4AI’s contributions and dedication to advancing the field.
-
InfinityMATH: Scalable Dataset for Mathematical Reasoning
By
–
InfinityMATH A Scalable Instruction Tuning Dataset in Programmatic Mathematical Reasoning discussion: https://
huggingface.co/papers/2408.07
089
… Recent advancements in Chain-of-Thoughts (CoT) and Program-of-Thoughts (PoT) methods have greatly enhanced language models' mathematical reasoning -
Open Source Algorithm and Content Recommendation Mechanics
By
–
That was hilarious Unlike the other platforms, our algorithm is open source! And if you interact and argue with “right wing” accounts, which Cuban does a lot, the algorithm will assume that’s what you *want* to do and give you more of it lmao.
-
European AI Startups: Last Call for 4-Month Accelerator Program
By
–
Last call — applications close this Friday https://
go.fb.me/cl9rjs This 4-month AI accelerator is designed for European startups developing advanced AI solutions with open-source foundation models. Our aim is to accelerate the development and market entry of these projects. -
Salesforce releases DEI AI software engineering agents with 55% resolve rate
By
–
Salesforce releases DEI, an open AI software engineering agents org with a 55% resolve rate on SWE-Bench Lite Discussion:
https://
huggingface.co/papers/2408.07
060
… We propose DEI (Diversity Empowered Intelligence), a framework that leverages SWE agents' unique expertise. DEI functions as a -
Open Source Powers Cortex Analyst Preview Launch
By
–
This is the power of open source enabling incredible new possibilities, congratulations on the preview launch of Cortex Analyst!