king zhu's picture

king zhu

kangz

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 2 days ago

upvoted a paper 2 days ago

LoopCoder-v2: Only Loop Once for Efficient Test-Time Computation Scaling

upvoted a paper about 1 month ago

OProver: A Unified Framework for Agentic Formal Theorem Proving

View all activity

Organizations

kangz 's papers 14

arxiv:2510.11652

arxiv:2510.12838

arxiv:2508.13167

arxiv:2506.15741

arxiv:2506.12928

arxiv:2502.14739

arxiv:2410.13785

arxiv:2409.17692

arxiv:2409.15272

arxiv:2409.06851

arxiv:2407.17379

arxiv:2406.13923

arxiv:2401.13478

arxiv:2401.11944