Premise Selection in Natural Language Mathematical Texts

37313
Back to Articles Dashboard

Related Entities

Глубокие свёрточные графовые нейронные сети

Method

F1 оценка

Metric

Предсказание связей

Task

Выбор предпосылок

Task