Skip to content
View AvrahamRaviv's full-sized avatar
  • Israel

Block or report AvrahamRaviv

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don鈥檛 include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user鈥檚 behavior. Learn more about reporting abuse.

Report abuse
AvrahamRaviv/README.md

Hi there 馃憢

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.

Popular repositories Loading

  1. Deep-Learning-in-Hebrew Deep-Learning-in-Hebrew Public

    住驻专 诪诇讗 讘注讘专讬转 注诇 诇诪讬讚转 诪讻讜谞讛 讜诇诪讬讚讛 注诪讜拽讛

    HTML 1k 105

  2. Hebrew-Machine-and-Deep-Learning-Resources Hebrew-Machine-and-Deep-Learning-Resources Public

    Hebrew Machine and Deep Learning Tutorials

    246 17

  3. Text2All Text2All Public

    A curated list of text-guided generative models resources

    159 5

  4. Verify-Q-learning Verify-Q-learning Public

    Using formal methods for verifying Q-learning-based systems

    Python 2

  5. DSTEP DSTEP Public

    JavaScript 2

  6. Formal-Verification-of-Object-Detection Formal-Verification-of-Object-Detection Public

    Official implementation of "Formal Verification of Object Detection" paper

    Python 2