Pinned Loading

1. MUSTARD MUSTARD Public

   Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

   C++ 37 1

2. DAGN DAGN Public

   Official implementation for the NAACL'21 short paper DAGN: Discourse-Aware Graph Network for Logical Reasoning.

   Python 28 5

3. tencent-ailab/MetaLogic tencent-ailab/MetaLogic Public

   Python 8

4. REM-Net REM-Net Public

   Code for "REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement".

   Python 4

5. CLOMO CLOMO Public

   Official code and data for "CLOMO: Counterfactual Logical Modification with Large Language Models" (ACL 2024)

   Python 4

6. FVELER/FVEL FVELER/FVEL Public

   An interactive formal verification environment with LLMs via theorem proving.

   Python