Reasoning
Interchangeable Token Embeddings: released LTL alpha-renaming runs
Recorded symbolic-trace predictions for LTLRandom35 formulas from two alpha-renaming baseline configurations released with the Interchangeable Token Embeddings paper.
199,893items
2subjects
Apache-2.0 for the original Hugging Face release; MIT for the author code.license
reasoningdomain
textmodality
item-level responses released
Saturation status: Yes
Response matrix
Loading response matrix…
Correct (1)Incorrect (0)Unobserved
Scale: 1 = correct · 0 = incorrect