conftrace_

mathematical language

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

tree-based representation (1) operator tree (1) mathematical language processing (1) mathematical expression generation (1) terminology extraction (1) definition extraction (1) tree representation (1) corpus annotation (1) premise selection (1) multi-hop reasoning (1)

Papers

Mathematical Entities: Corpora and Benchmarks COLING 2024 Tree-Based Representation and Generation of Natural and Mathematical Language ACL 2023 TextGraphs 2022 Shared Task on Natural Language Premise Selection COLING 2022