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

Ge Zhang

zhangysk
crazycth's profile picture ridger's profile picture FetchFortune's profile picture
ยท

AI & ML interests

None yet

Recent Activity

updated a collection 7 days ago
OProver
upvoted a paper 7 days 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