Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Rigorous Software Engineering
university
https://rose.yale.edu
Yale-ROSE
Activity Feed
Follow
5
AI & ML interests
Automated Reasoning, Reinforcement Learning, Neuro-Symbolic AI
Team members
4
Yale-ROSE
's datasets
None public yet
