Ted Feng
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
Organizations
None yet