Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Groups: Property Synthesis Organizations: No Organization Filter Results Smart Home Benchmark The dataset is used for synthesizing properties over smart home applications. Dataset JSON
