kmahsi
Researcher at Linköping University, focused on deep learning model verification. Passionate about AI safety and reliability. Connect on GitHub for collaboration
Linköping University
Pinned Repositories
kmahsi's Repositories
kmahsi/hafez
kmahsi/CA_P2
kmahsi/AP_apply
kmahsi/CA_P4
kmahsi/CA_P5
kmahsi/caffe
Caffe: a fast open framework for deep learning.
kmahsi/CPS-CA3
kmahsi/cv
Github pages repo
kmahsi/Data-Scientist-LaTeX-Resume-with-Photo
20 Seconds CV for data scientists written in LaTeX. It includes a photo in its sidebar.
kmahsi/GameMaker
A simple library/program to help new developers make games in java.
kmahsi/go-chat-server
kmahsi/models
Models and examples built with TensorFlow
kmahsi/ReluVal
The released code of ReluVal in USENIX Security 2018
kmahsi/resume.github.com
Resumes generated using the GitHub informations
kmahsi/rlcard
Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.
kmahsi/startbootstrap-resume
A Bootstrap 4 resume/CV theme created by Start Bootstrap
kmahsi/TCP-over-UDP
An implementation of an educational tool for implementing and testing TCP over UDP in computer networks.
kmahsi/TutorialFiles
Sample files from out YouTube tutorials and live streams! 🖼️👨🏫💻