conftrace_

mathematical text

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

variable typing (2) premise selection (2) natural language inference (2) text classification (2) variable encoding (1) term disambiguation (1) variable representation (1) mathematical language understanding (1) graph neural network (1) large language model (1)

Papers

MathD2: Towards Disambiguation of Mathematical Terms ACL 2025 Math Natural Language Inference: this should be easy! EMNLP 2025 To be or not to be an Integer? Encoding Variables for Mathematical Text ACL 2022 STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises EACL 2021 Premise Selection in Natural Language Mathematical Texts ACL 2020 Variable Typing: Assigning Meaning to Variables in Mathematical Text NAACL 2018