Hugging Face's logo
king zhu's picture
1 46 17

king zhu

kangz
Ross12's profile picture Alliance529's profile picture ShawnYing's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted a paper 27 days ago
A Self-Evolving Framework for Efficient Terminal Agents via Observational Context Compression
upvoted a paper about 1 month ago
InCoder-32B-Thinking: Industrial Code World Model for Thinking
View all activity

Organizations

Multimodal Art Projection's profile picture vlms-bench's profile picture pin-team's profile picture Open-Source O1's profile picture JIT's profile picture