Hugging Face's logo
Ge Zhang's picture
72 134 72

Ge Zhang

zhangysk
Ross12's profile picture Charles59's profile picture ChrisDing1105's profile picture
ยท

AI & ML interests

None yet

Recent Activity

updated a collection 30 minutes ago
OProver
upvoted a paper about 3 hours ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted a paper 2 months ago
InCoder-32B: Code Foundation Model for Industrial Scenarios
View all activity

Organizations

Multimodal Art Projection's profile picture University of Michigan's profile picture Multimodal Benchmarking IR's profile picture MMMU's profile picture Harmony.ai's profile picture Chinese LLMs on Hugging Face's profile picture