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

king zhu

kangz
JunoLi622's profile picture Qianben's profile picture frascuchon's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago
OProver: A Unified Framework for Agentic Formal Theorem Proving
upvoted a paper 28 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