93768ab 4447746
1
2
3
4
5
6
7
8
9
10
11
12
--- license: mit language: - en metrics: - accuracy library_name: transformers tags: - logical-reasoning - logical-equivalence - constrastive-learning ---