BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs

42735
Back to Articles Dashboard

Related Entities

Декодтау әдісі 1

Method

Декодтау әдісі 2

Method

MATcH деректер жинағы

Material

Сәйкестендіру тапсырмасы

Task