Hugging Face's logo
Rui Pan's picture
1 28 2

Rui Pan

research4pan
ernestp56's profile picture fatsam's profile picture jiaruz2's profile picture
ยท

AI & ML interests

None yet

Recent Activity

upvoted a paper 11 days ago
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
upvoted a collection about 1 month ago
Nemotron-Labs-Diffusion
upvoted a paper about 1 month ago
Code as Agent Harness
View all activity

Organizations

University of Illinois at Urbana-Champaign's profile picture OptimalScale's profile picture UniverseTBD's profile picture AstroMLab's profile picture TensorOpera Research's profile picture OptimalIter's profile picture TensorOpera's profile picture ScaleBiO's profile picture ScaleBio Baseline's profile picture ScalePhysics's profile picture MMReasoning's profile picture ScaleChemistry's profile picture ScaleMath's profile picture UIUC ScaleML Lab's profile picture Optimization Party's profile picture Physlean_data's profile picture Geo300K's profile picture