🏓
Formal methods for ML-vision based systems
Block or Report
Block or report NoCohen66
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
unsupervised-outlier-detection
unsupervised-outlier-detection Public✈️ Build an algorithm to detect abnormal functioning in airplanes 😲 #anomalydetectionJupyter Notebook 1
-
optimisation-for-AI
optimisation-for-AI Public➕➖✖️➗ Mathematical optimization formulas to generate black squares on a grid based on a given image for a game called 'Picross' 🦆
Python 1
-
computer-vision
computer-vision PublicThe mechanisms behind image classification using a pretrained CNN model in high-dimensional spaces 🏞️
Jupyter Notebook 1
-
Verification4ObjectDetection
Verification4ObjectDetection Public🩺🛣️ IBP IoU an approach for the formal verificaion of object detection models.
Jupyter Notebook 7
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.