BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs
42735Knowledge Triples
| Source Entity | Relationship | Target Entity |
|---|---|---|
| includesMethod |
Декодтау әдісі 1
Method |
|
| includesMethod |
Декодтау әдісі 2
Method |
|
| uses |
MATcH деректер жинағы
Material |