Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
jytan12  submitted a paper 2 days ago
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean
maggi3wang  authored a paper 6 days ago
InSight: Self-Guided Skill Acquisition via Steerable VLAs
maggi3wang  authored a paper 6 days ago
UniMem: Unifying Multimodal Memory and Control for Vision-Language-Action Models
View all activity

Papers

PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean

Text-to-Image Generative Modeling Without Language Pretraining

View all Papers

StanfordUniversity 's datasets 1