Ted Feng

artisdom's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a dataset 13 days ago

liuchengwu/FormalStep

Viewer • Updated Jun 9, 2025 • 30.8k • 75 • 1

upvoted a paper 13 days 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 20 days ago • 421

vikp/surya_det3

38.4M • Updated Jul 12, 2024 • 211k • 16

google/gemma-7b-it-GGUF

9B • Updated Aug 14, 2024 • 54 • 44

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

Text Generation • Updated Apr 13, 2025 • 17k • • 2.06k

Mozilla/whisperfile

Updated Oct 2, 2024 • 1.5k • 255

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

Text Generation • 8B • Updated Sep 25, 2024 • 5.84M • • 5.47k

facebook/nllb-200-distilled-600M

Translation • Updated Feb 14, 2024 • 579k • 859