Shayan Pardis
About
CV
Good Old Website
Idea Book
Publication and Projects
Tags
formal verification
1
HackMit
1
Model Architecture
1
NLP
1
optimization
1
programming synthesis
1
reinforcement learning
1
robotics
1
symmetry for machine learning
1
vision
1