Update README.md
Browse files
README.md
CHANGED
|
@@ -23,6 +23,7 @@ Project: https://github.com/Strong-AI-Lab/Logical-Equivalence-driven-AMR-Data-Au
|
|
| 23 |
Leaderboard: https://eval.ai/web/challenges/challenge-page/503/leaderboard/1347
|
| 24 |
|
| 25 |
In this repository, we trained the DeBERTa-V2-XXLarge on the sentence pair constructed by our AMR-LE. We use AMR with two logical equivalence laws `(Contraposition law, Double negation law)` to construct two different logical equivalence/inequivalence sentences.
|
|
|
|
| 26 |
## How to interact model in this web page?
|
| 27 |
Some test examples that you may copy and paste them into the right side user input area.
|
| 28 |
The expected answer for the following example is they are logically inequivalent which is 0. Use constraposition law `(If A then B <=> If not B then not A)` to show that following example is false.
|
|
|
|
| 23 |
Leaderboard: https://eval.ai/web/challenges/challenge-page/503/leaderboard/1347
|
| 24 |
|
| 25 |
In this repository, we trained the DeBERTa-V2-XXLarge on the sentence pair constructed by our AMR-LE. We use AMR with two logical equivalence laws `(Contraposition law, Double negation law)` to construct two different logical equivalence/inequivalence sentences.
|
| 26 |
+
|
| 27 |
## How to interact model in this web page?
|
| 28 |
Some test examples that you may copy and paste them into the right side user input area.
|
| 29 |
The expected answer for the following example is they are logically inequivalent which is 0. Use constraposition law `(If A then B <=> If not B then not A)` to show that following example is false.
|