YangWang92's picture

YangWang92

yangwang92

·

AI & ML interests

None yet

Recent Activity

liked a model about 10 hours ago

MiniMaxAI/MiniMax-M2.1

liked a model about 10 hours ago

zai-org/GLM-4.7

upvoted a paper 6 days ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

View all activity

Organizations

Papers 4

arxiv:2506.14245

arxiv:2506.08989

arxiv:2411.11745

arxiv:2409.17066

models 0

None public yet

datasets 0

None public yet