hi @kchonyc
, do you by any chance have a HF profile? i wanted to link this very cool paper (and a few others as well!): https://
huggingface.co/papers/2306.13
588
… cc @Thom_Wolf
OPEN SOURCE
-
Researcher shares cool AI paper on Hugging Face platform
By
–
-
Open Source LLM Matches OpenAI for Theorem Proving
By
–
The first open data, model and benchmark for theorem proving under MIT license. Our small LLM with retriever is as good as the closed @OpenAI model. Democratization of #AI See more details in @KaiyuYang4 thread: https://
x.com/KaiyuYang4/sta
tus/1673882824158613504?s=20
… -
Open Source LLM with Retriever Matches OpenAI in Theorem Proving
By
–
Hats off to @KaiyuYang4 for all the hard work in putting together the first open data, model and benchmark for theorem proving under MIT license. Our small LLM with retriever is as good as the closed @OpenAI model. Democratization of #AI
-
Andes Tech and Tenstorrent Partnership at RISC-V Conference
By
–
@tenstorrent x @Andes_Tech @jimkxa w/ Dr Charlie Su and Franklin Lin at Andes @risc_v Con
-
LLaMa and Falcon LLM Evaluation Insights
By
–
in case you missed it, @clefourrier @Thom_Wolf and team wrote a blogpost this weekend about the evaluations of LLaMa and Falcon it's a very clear and simple read that will help you build intuition of how those LLMs are evaluated Great read!
-
OpenCV’s Historic Role in Stanley’s DARPA Grand Challenge Victory
By
–
The computer vision library used in Stanley – the first autonomous driving car that completed the DARPA Grand Challenge 2005 was the @opencvlibrary and @grbradsk was one of the members of the Stanley team. A remarkable note in history!
-
Baidu Hosts Foundation Models Workshop at CVPR2023
By
–
Baidu was proud to co-host the inaugural "Workshop on Foundation Models" at #CVPR2023 last week with ZJU, HKU, and AIR-CAS. https://
foundation-model.com/home Congrats to CTRL & njust for their wins in Multi-Task & Cross-Modal tracks! Check out Baidu's CV models: https://
github.com/PaddlePaddle/V
IMER
… -
Tenstorrent CEO discusses RISC-V strategy to challenge Nvidia
By
–
@tenstorrent CEO @jimkxa talks to @ojoyoshida about #riscv, #opensource and the #tenstorrent roadmap. https://
ojoyoshidareport.com/jim-keller-ske
tches-ai-strategy-to-bypass-nvidia/
… -
Baby AGI: Task Automation Python Script with OpenAI
By
–
Baby AGI is a python script which uses OpenAI and Pinecone APIs, and the LangChain framework to create, organize, prioritize as well as the executing of tasks. https://
bit.ly/3qSgQac -
Commitment to Continue Working with Hugging Face
By
–
I'll definitely continue to work with @huggingface whatever I end up doing next 🙂