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
models
0
None public yet
datasets
0
None public yet
