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

42537

Related Entities