Ted Feng
artisdom
AI & ML interests
None yet
Recent Activity
liked a dataset about 2 months ago
liuchengwu/FormalStep upvoted a paper about 2 months ago
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal
Reasoning liked a model over 1 year ago
rhasspy/piper-voicesOrganizations
None yet