#

logical-equivalences

Here are 2 public repositories matching this 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.

logical-reasoning contrastive-learning logical-equivalences logic-driven-data-augmentation

Updated Aug 21, 2024
Python

4g3nt81lly / logic-util

A handy utility for propositional logic.

cli utility logic python3 propositional-logic truth-table truth-table-generator propositional-logic-statements logical-equivalences

Updated Jul 8, 2023
Python

Improve this page

Add a description, image, and links to the logical-equivalences topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logical-equivalences topic, visit your repo's landing page and select "manage topics."