Author of ML/DL book in Hebrew. Deep learning researcher, and Python developer.
Deep-Learning-in-Hebrew. ספר מלא בעברית על למידת מכונה ולמידה עמוקה
1kHebrew-Machine-and-Deep-Learning-Resources. Hebrew Machine and Deep Learning Tutorials
246Text2All. A curated list of text-guided generative models resources
159Formal-Verification-of-Object-Detection. Official implementation of "Formal Verification of Object Detection" paper
2DSTEP. JavaScript
2Verify-Q-learning. Using formal methods for verifying Q-learning-based systems
2