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.
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.
住驻专 诪诇讗 讘注讘专讬转 注诇 诇诪讬讚转 诪讻讜谞讛 讜诇诪讬讚讛 注诪讜拽讛
Hebrew Machine and Deep Learning Tutorials
Using formal methods for verifying Q-learning-based systems
Python 2
Official implementation of "Formal Verification of Object Detection" paper
Python 2