king zhu's picture

king zhu

kangz

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 12 hours ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

upvoted a paper 26 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

kangz 's models

None public yet