Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
8
Ted Feng
artisdom
Follow
Mi6paulino's profile picture
Gargaz's profile picture
2 followers
·
0 following
artisdom
artisdom
AI & ML interests
None yet
Recent Activity
liked
a dataset
12 days ago
liuchengwu/FormalStep
upvoted
a
paper
12 days ago
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
liked
a model
over 1 year ago
rhasspy/piper-voices
View all activity
Organizations
None yet
models
0
None public yet
datasets
1
artisdom/FormalStep
Viewer
•
Updated
12 days ago
•
30.8k
•
14