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.
CODE
-
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
… -
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!!
-
Understanding problems before solutions in AI development
By
–
Understand the problem before jumping onto solution. Staying close to the product & domain knowledge can help you find simpler solution to most complex problems. And this is the key!
-
Build Your Tech Portfolio for Competitive Job Advantage
By
–
Build a portfolio Work on projects, create a portfolio that showcases your skills and the types of problems you can solve. It gives you a competitive edge when applying for jobs.
-
Master Python Programming with CS50 Harvard Course
By
–
Become a strong programmer Programming helps you to bridge the gap between theory and building stuff that's useful. Python is the language data science community speaks! And CS50p is arguably the best place to learn Python. Check this out http://
cs50.harvard.edu/python/2022/ -
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
… -
Making Sense of Statistics Big Data Analytics and AI
By
–
Making Sense of #Statistics! #BigData #Analytics #DataScience #AI #MachineLearning #IoT #IIoT #Python #RStats #TensorFlow #Java #JavaScript #ReactJS #GoLang #CloudComputing #Serverless #DataScientist #Linux #Books #Programming #Coding #100DaysofCode https://
geni.us/Making-Sense -
Tinygrad: Training Simple Neural Networks Guide
By
–
Tinygrad: Training a Simple Neural Network! #BigData #Analytics #DataScience #AI #MachineLearning #IoT #IIoT #Python #RStats #TensorFlow #Java #JavaScript #ReactJS #CloudComputing #Serverless #DataScientist #Linux #Programming #Coding #100DaysofCode https://
geni.us/Tinygrad-Netwo
rk
… -
Data Science in R: Machine Learning and Big Data Analytics
By
–
Data Science in R! #BigData #Analytics #DataScience #AI #MachineLearning #IoT #IIoT #PyTorch #Python #RStats #TensorFlow #Java #JavaScript #ReactJS #GoLang #CloudComputing #Serverless #DataScientist #Linux #Books #Programming #Coding #100DaysofCode https://
geni.us/DSci-R