Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Gergely Várhelyi-Tóth
tgergo1
Follow
timeaschon's profile picture
1 follower
·
1 following
https://tgergo1.github.io
tgergo1
AI & ML interests
Formal verification and specification of ML methods
Organizations
models
0
None public yet
datasets
0
None public yet
