method ID: star

Related Papers

STAR: Cross-modal [STA]tement [R]epresentation for selecting relevant mathematical premises

Authors: nan

Publication: TIPSTER (2021)

DOI: nan

AbstractMathematical statements written in natural language are usually composed of two different modalities: mathematical elements and natural language. These two modalities have several distinct linguistic and semantic properties. State-of-the-art representation …...

42537