saracandu/stl_formulae download history

saracandu/stl_formulae is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 69 times (14 in the last 7 days), and 1,623 times in total. It ranks #149,391 among datasets by monthly downloads.

This dataset contains the data used in the paper "Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers" (Candussio et al. 2025). More in detail: train.csv is the training set for the random models. It contains formulae spanning from depth 2 to depth 23; TODO: complete wi

Open saracandu/stl_formulae on Hugging Face

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