Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence (ICML 2025) arXiv, Project Page, Code.
Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning (ICML 2026) arXiv, Project Page, Code.
data: Datasets for the LTL (Linear Temporal Logic) task
na-*: Datasets from the DeepLTL paper
ltl-35-10ap: Dataset for… See the full description on the dataset page:
https://huggingface.co/datasets/necrashter/interchangeable-token-embeddings-datasets.