4/ Visual Navigation Transformer – a foundational model that leverages the power of pretrained models to vision-based robotic navigation; built on a flexible Transformer-based architecture that can tackle various navigational tasks.
MACHINE LEARNING
-
LeanDojo: Open-Source Toolkit for AI Theorem Proving
By
–
1/ LeanDojo – an open-source Lean playground consisting of toolkits, data, models, and benchmarks for theorem proving; also develops ReProver, a retrieval augmented LLM-based prover for theorem solving using premises from a vast math library.
-
Top Machine Learning Papers: LeanDojo, DragDiffusion, LLM Context
By
–
Top ML Papers of the Week (June 26 – July 2): – LeanDojo
– DragDiffusion
– Scaling MLPs
– Visual Navigation Transformer
– GPT-4 for Programming Education
– Extending Context Window of LLMs
… -
Tip #1: Learn Mathematics Alongside AI Development
By
–
It’s tip #1
I did not say start with maths.
But you should learn it along the way, it’s important. -
Following 70000 AI Accounts: Choosing Favorites Challenge
By
–
I follow 70,000 in AI and you are asking me to pick favorites?
-
Daily AI and Machine Learning Content: Python, NLP, Computer Vision
By
–
That's a wrap! If you interested in: – Python – Data Science – Machine Learning – Maths for ML – MLOps – NLP – Computer Vision – LLMs I'm sharing daily content over here, follow me → @akshay_pachaarif you haven't already!! Cheers!!
-
Networking in Data Science: Events, Meetups and Best Practices
By
–
Networking Attend industry events, meetups & conferences to connect with folks in data science. You will learn about new tools, techniques & best-practices. Twitter is a great place to start! Here's my Elite-ml-list
-
Master Mathematics Fundamentals for Machine Learning Success
By
–
Learn the fundamentals! It's important to have a strong foundation in mathematics, it helps you to stand out. Here's a great place to start https://
coursera.org/specialization
s/mathematics-machine-learning
… -
7 Essential Data Science Career Tips for Beginners
By
–
I started my career in Data Science back in 2016 Here are 7 tips for those starting out today! A Thread
-
Rethinking Neural Network Abstractions Beyond Traditional Models
By
–
There has been previous attempts like OpenWorm from many years ago, but progress hasn’t been spectacular. Maybe we need to rethink the way we abstract the concept of “neurons” and “weights” and their interactions in our own artificial neural network models. https://t.co/H74qcjgP3i
— hardmaru (@hardmaru) 2 juillet 2023There has been previous attempts like OpenWorm from many years ago, but progress hasn’t been spectacular. Maybe we need to rethink the way we abstract the concept of “neurons” and “weights” and their interactions in our own artificial neural network models.