Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Ted Feng's picture
1 8

Ted Feng

artisdom
Mi6paulino's profile picture Gargaz's profile picture
·
  • artisdom
  • artisdom

AI & ML interests

None yet

Recent Activity

liked a dataset about 1 month ago
liuchengwu/FormalStep
upvoted a paper about 1 month 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

liked a dataset about 1 month ago

liuchengwu/FormalStep

Viewer • Updated Jun 9, 2025 • 30.8k • 186 • 1
upvoted a paper about 1 month ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Paper • 2505.05758 • Published May 9, 2025 • 1
liked 7 models over 1 year ago

rhasspy/piper-voices

Updated 11 days ago • 454

vikp/surya_det3

38.4M • Updated Jul 12, 2024 • 192k • 17

google/gemma-7b-it-GGUF

9B • Updated Aug 14, 2024 • 73 • 45

nvidia/Llama-3.1-Nemotron-70B-Instruct-HF

Text Generation • 71B • Updated Apr 13, 2025 • 11.3k • 2.06k

Mozilla/whisperfile

Updated Oct 2, 2024 • 958 • 256

meta-llama/Llama-3.1-8B-Instruct

Text Generation • 8B • Updated Sep 25, 2024 • 7.63M • • 5.58k

facebook/nllb-200-distilled-600M

Translation • Updated Feb 14, 2024 • 1.03M • 872
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs