saracandu commited on
Commit
af1d0f2
·
verified ·
1 Parent(s): 120a049

Reference: https://www.arxiv.org/abs/2507.07808

Files changed (1) hide show
  1. README.md +4 -0
README.md ADDED
@@ -0,0 +1,4 @@
 
 
 
 
 
1
+ ---
2
+ datasets:
3
+ - saracandu/stl_formulae
4
+ ---