Announcing LeanAgent: the first life-long learning agent for formal theorem proving in Lean. LLMs have been integrated with interactive proof assistants like Lean for theorem proving with 100% accuracy. So far, these LLMs are static, cannot learn new knowledge online, and
OPEN SOURCE
-
Vercel App: Hugging Face Paper Explorer Platform
By
–
@vercel app: https://
huggingface-paper-explorer.vercel.app -
HuggingFace Paper Explorer: Extended Research Paper Discovery Tool
By
–
HuggingFace Paper Explorer A simple wrapper for HuggingFace's daily paper page that extends the time range for exploring top AI research papers.
-
Using Gradio Lite with Transformers JS
By
–
You can also use Gradio lite with transformers js: https://
gradio.app/guides/gradio-
lite-and-transformers-js
… -
Cursor/Replit for Gradio Apps: Text to Chatbot
By
–
cursor/replit but for gradio apps
— AK (@_akhaliq) 10 octobre 2024
text to gradio code to chatbot app pic.twitter.com/Fqhh721Vrqcursor/replit but for gradio apps text to gradio code to chatbot app
-
Rerankers: Lightweight Python Library Unifies Ranking Methods
By
–
rerankers: A Lightweight Python Library to Unify Ranking Methods – http://
Answer.AI https://
bit.ly/3XRnASm
#AI #MachineLearning #DeepLearning #LLMs #DataScience -
SambaNova Cloud Enables Faster Open Source Model Deployment
By
–
Many #devs are looking for other ways to run #OpenSource models faster and more accurately. 🚀🎯
— SambaNova (@SambaNovaAI) 10 octobre 2024
Our CEO & Co-Founder, @RodrigoLiang, shares why SambaNova Cloud is able to provide that in a way that’s really low-friction. 🎥
Start developing ⤵️https://t.co/Nq7AnfsVMPMany #devs are looking for other ways to run #OpenSource models faster and more accurately. Our CEO & Co-Founder, @RodrigoLiang
, shares why SambaNova Cloud is able to provide that in a way that’s really low-friction. Start developing https://
cloud.sambanova.ai -
LLM Quality Thresholds: GPT-4o-mini and Local Alternatives
By
–
There's some lower threshold of quality an LLM needs to have in order to be useful for our game. GPT4o-mini is such an example, and it has good pricing, but it's still cloud based. However there are other candidates for local LLM that we are investigating. LLMs are getting
-
SparseLLM: Global Pruning Method for Pre-trained Language Models
By
–
SparseLLM: Towards Global Pruning of Pre-trained Language Models https://
arxiv.org/abs/2402.17946 https://
github.com/BaiTheBest/Spa
rseLLM
…
#neurips2024