Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
Kiarash Sotoudeh
zzadxz
Follow
MariaChzhen's profile picture
1 follower
ยท
4 following
exekis
exekis
AI & ML interests
Formal Verification, SMT, SAT, Theorem Provers
Organizations
zzadxz
's models
None public yet
