Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
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
tgergo1
's datasets
None public yet
