oroikono/sigs-symbolic-pde-corpus

SIGS Grammar Production Corpus This dataset contains the one-hot grammar-production sequences used to train the Grammar-VAE in SIGS: Neuro-Symbolic AI for Analytical Solutions of Differential Equations (Oikonomou et al., ICML 2026). Structure Each row contains: inputs: a float32 tensor shaped [grammar productions, sequence length]; labels: the corresponding integer production indices shaped [sequence length]. The deterministic default split uses seed 42 with 70%… See the full description on the dataset page: https://huggingface.co/datasets/oroikono/sigs-symbolic-pde-corpus.