Hugging Face's logo
renxiwang's picture
16 2 5

renxiwang PRO

reasonwang
21world's profile picture lmlmcat's profile picture dark-pen's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 4 days ago
OccuBench: Evaluating AI Agents on Real-World Professional Tasks via Language World Models
updated a collection 2 months ago
Theorem Embedding
updated a collection 2 months ago
Theorem Embedding
View all activity

Organizations

Mohamed Bin Zayed University of Artificial Intelligence's profile picture LibrAI's profile picture MATE-Chess's profile picture MBZUAI-IFM's profile picture Agent One's profile picture A Neural Theorem Proving Group's profile picture