Variable Typing: Assigning Meaning to Variables in Mathematical Text
22349Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
|
ArXiv Dataset
Material |
usedFor |
Classifier
Method |
|
Raw Symbols Index
OtherEntity |
comparesWith | |
|
Typed Formula Index
OtherEntity |
enhances | |
|
Typed Formula Index
OtherEntity |
improves |
Raw Symbols Index
OtherEntity |
|
Variable Typing
Task |
relatedTo |