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

42537
Back to Articles Dashboard

Knowledge Triples

Source Entity Relationship Target Entity
STAR

Method

 appliesTo