Avraham Raviv

SB-ECC. Python

Deep-Learning-in-Hebrew. ספר מלא בעברית על למידת מכונה ולמידה עמוקה

Formal-Verification-of-Object-Detection. Official implementation of "Formal Verification of Object Detection" paper

LLM-Agent-Evaluation-Survey. Top papers related to LLM-based agent evaluation

layerfold. Layer collapse of DNNs for accelerated inference

TAPS. Python

MindTheEdge. Mind The Edge: Refining Depth Edges in Sparsely-Supervised Monocular Depth Estimation, CVPR24'

TreeModelVis. A versatile Python toolkit for visualizing and customizing tree-based models, including decision trees and ensembles like Random Forests and Gradient Boosting. Designed for easy integration with scikit-learn, TreeModelVis offers enhanced interpretability and detailed visualization capabilities for model analysis and presentation.

RWKV-LM. RWKV (pronounced RwaKuv) is an RNN with great LLM performance, which can also be directly trained like a GPT transformer (parallelizable). We are at RWKV-7 "Goose". So it's combining the best of RNN and transformer - great performance, linear time, constant space (no kv-cache), fast training, infinite ctx_len, and free sentence embedding.

BasicRL. A basic Tensorflow 2 implementation of the standard reinforcement learning algorithms, designed to solve gym-like environments.

c4dynamics. The Python framework for state-space modeling and algorithm development

Formal_verification_with_RL. 3 games combining Q-learning with model checkers

SampleDepth. Prior based Sampling for Adaptive LiDAR

SweepedDescriptors. SweepedDescriptors

OrientedBoundingBox. Oriented bounding box (OBB) detection on satellite images.

wise. Code for paper "WISE: Whitebox Image Stylization by Example-based Learning" (ECCV 2022)

reinforcement_learning_course_materials. Lecture notes, tutorial tasks including solutions as well as online videos for the reinforcement learning course hosted by Paderborn University

Verify-Q-learning. Using formal methods for verifying Q-learning-based systems

Local_samplenet. NN which sample points clouds for classification task by incorporate local information in the sampling process.

TokenCut. (CVPR 2022) Pytorch implementation of "Self-supervised transformers for unsupervised object discovery using normalized cut"

scientific-resources. This repo contains deep learning(DL) papers reviews, presentations on DL/DS topics, data science learning materials

haystack. Open-source AI orchestration framework for building context-engineered, production-ready LLM applications. Design modular pipelines and agent workflows with explicit control over retrieval, routing, memory, and generation. Built for scalable agents, RAG, multimodal applications, semantic search, and conversational systems.

NumericalAnalysisMethods. Implementation of numerical analysis methods with Python

deepchecks. Deepchecks: Tests for Continuous Validation of ML Models & Data. Deepchecks is a holistic open-source solution for all of your AI & ML validation needs, enabling to thoroughly test your data and models from research to production.

DL_Project1. share project via PyCharm

auto_LiRPA. auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

hyperstyle. Official Implementation for "HyperStyle: StyleGAN Inversion with HyperNetworks for Real Image Editing" (CVPR 2022) https://arxiv.org/abs/2111.15666

alpha-beta-CROWN. alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

face-alignment. :fire: 2D and 3D Face alignment library build using pytorch

www.mlcompendium.com. The Machine Learning & Deep Learning Compendium was a list of references in my private & single document, which I curated in order to expand my knowledge, it is now an open knowledge-sharing project compiled using Gitbook.

Layer-Folding. Python

d2l-en. Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

Reinforcement-Learning-on-Autonomous-Race-Car. Python

encoder4editing. Official implementation of "Designing an Encoder for StyleGAN Image Manipulation" (SIGGRAPH 2021) https://arxiv.org/abs/2102.02766

SuperPAL. Python

CS231n-2017-Summary. After watching all the videos of the famous Standford's CS231n course that took place in 2017, i decided to take summary of the whole course to help me to remember and to anyone who would like to know about it. I've skipped some contents in some lectures as it wasn't important to me.

er_intercepetor_challenge. Our solution to the challenge from our work

bionetverification. C++