conftrace_

variable typing

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical text (2) mathematical information retrieval (1) symbol disambiguation (1) variable encoding (1) variable representation (1) mathematical language understanding (1) context-based representation (1) information retrieval (1) topic modeling (1) natural language inference (1)

Papers

To be or not to be an Integer? Encoding Variables for Mathematical Text ACL 2022 Variable Typing: Assigning Meaning to Variables in Mathematical Text NAACL 2018