saracandu/stl_updated download history

saracandu/stl_updated is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 17 times (3 in the last 7 days), and 381 times in total. It ranks #417,790 among datasets by monthly downloads.

Dataset Card for stl_updated Dataset Description The stl_updated dataset is a large-scale collection of 3.3 million Signal Temporal Logic (STL) formulae, designed to stress-test and train models (such as Transformer encoders) on recursive understanding, semantic similarity, and

Open saracandu/stl_updated on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.