logical-equivalences

There are 0 repository under logical-equivalences topic.

• Strong-AI-Lab / Logical-Equivalence-driven-AMR-Data-Augmentation-for-Representation-Learning

  The source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderboard and we are the first group scored above 90% on the hidden test set around the world.. The paper has been accepted by the Findings of ACL-24.

  contrastive-learninglogic-driven-data-augmentationlogical-equivalenceslogical-reasoning
  Language:Python 11

• 4g3nt81lly / logic-util

  A handy utility for propositional logic.

  clilogiclogical-equivalencespropositional-logicpropositional-logic-statementspython3truth-tabletruth-table-generatorutility
  Language:Python 9