Ted Feng's picture

1 8

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

View all activity

Organizations

None yet

upvoted a paper 12 days ago

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Paper • 2505.05758 • Published May 9, 2025 • 1