AvrahamRaviv

Automatic_Labeling

AvrahamRaviv

CB_hw

HomeWork 2 - computational biology course

Deep-Learning-in-Hebrew

ספר מלא בעברית על למידת מכונה ולמידה עמוקה

DSTEP

Fight-Clickbait

Formal-Verification-of-Object-Detection

Official implementation of "Formal Verification of Object Detection" paper

Hebrew-Machine-and-Deep-Learning-Resources

Hebrew Machine and Deep Learning Tutorials

Text2All

A curated list of text-guided generative models resources

Verify-Q-learning

Using formal methods for verifying Q-learning-based systems

AvrahamRaviv/Deep-Learning-in-Hebrew

ספר מלא בעברית על למידת מכונה ולמידה עמוקה

AvrahamRaviv/Hebrew-Machine-and-Deep-Learning-Resources

Hebrew Machine and Deep Learning Tutorials

AvrahamRaviv/Text2All

A curated list of text-guided generative models resources

AvrahamRaviv/DSTEP

AvrahamRaviv/Verify-Q-learning

Using formal methods for verifying Q-learning-based systems

AvrahamRaviv/Automatic_Labeling

AvrahamRaviv/AvrahamRaviv

AvrahamRaviv/CB_hw

HomeWork 2 - computational biology course

AvrahamRaviv/Fight-Clickbait

AvrahamRaviv/Formal-Verification-of-Object-Detection

Official implementation of "Formal Verification of Object Detection" paper

AvrahamRaviv/GoT-analysis

Prediction the end of Game Of Thrones using first 7 seasons data

AvrahamRaviv/Layer-Folding

AvrahamRaviv/LTI

Official implementation of "Learning Through Imitation by using Formal Verification" (SFOSEM2023)

AvrahamRaviv/Segmentation-under-noise

This project is about segmentation, and I'm focusing on cars segmentation under perlin noise

AvrahamRaviv/Sokoban-gym

Solution for Sokoban using RL