artisdom/FormalStep
Viewer • Updated • 30.8k • 7
Ted Feng
artisdom
AI & ML interests
None yet
Recent Activity
liked a model 9 days ago
CohereLabs/cohere-transcribe-03-2026 liked a dataset 2 months ago
liuchengwu/FormalStep upvoted a paper 2 months ago
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal
ReasoningOrganizations
None yet