I'm a data scientist, who loves to discover new things and delve into them, and really enjoys writing code.
My main focus is developing new algorithms to verify DL/RL systems.
Name: Avraham Raviv
Type: User
Bio: Author of ML/DL book in Hebrew. Deep learning researcher, and Python developer.
Location: Israel
HomeWork 2 - computational biology course
住驻专 诪诇讗 讘注讘专讬转 注诇 诇诪讬讚转 诪讻讜谞讛 讜诇诪讬讚讛 注诪讜拽讛
Official implementation of "Formal Verification of Object Detection" paper
Prediction the end of Game Of Thrones using first 7 seasons data
Hebrew Machine and Deep Learning Tutorials
Official implementation of "Learning Through Imitation by using Formal Verification" (SFOSEM2023)
This project is about segmentation, and I'm focusing on cars segmentation under perlin noise
Solution for Sokoban using RL
A curated list of text-guided generative models resources
Using formal methods for verifying Q-learning-based systems
A declarative, efficient, and flexible JavaScript library for building user interfaces.
馃枛 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 馃搳馃搱馃帀
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google 鉂わ笍 Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.