| license: mit | |
| language: | |
| - en | |
| metrics: | |
| - accuracy | |
| library_name: transformers | |
| tags: | |
| - logical-reasoning | |
| - logical-equivalence | |
| - constrastive-learning | |
| license: mit | |
| language: | |
| - en | |
| metrics: | |
| - accuracy | |
| library_name: transformers | |
| tags: | |
| - logical-reasoning | |
| - logical-equivalence | |
| - constrastive-learning | |