Hugging Face's logo
Jiarui Yao's picture
2 35 1

Jiarui Yao

FlippyDora
research4pan's profile picture manh-linh's profile picture Antigonish's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 38 minutes ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
upvoted a paper 42 minutes ago
AsyncWebRL: Efficient Multi-Step RL for Visual Web Agents
upvoted a paper 3 days ago
Cosmos 3: Omnimodal World Models for Physical AI
View all activity

Organizations

University of Illinois at Urbana-Champaign's profile picture University of Illinois at Urbana-Champaign's profile picture RandomSampling's profile picture Embodied Reasoning Agent's profile picture EM-RAFT's profile picture Micro-RM's profile picture era-temporary's profile picture FANS - Formal Answer Selection Using Lean4's profile picture DPO-RM's profile picture CoE - Chain of Experts's profile picture tmp's profile picture PRM-CoT's profile picture UIUC ScaleML Lab's profile picture rb_dev's profile picture CorrectKLinRL's profile picture Tencent-Hunyuan-Multimodal-RL's profile picture harnessRL's profile picture