Eleanor-H/MUSTARD Eleanor-H/MUSTARD

  • Stars
    star
    35
  • Rank 750,836 (Top 15 %)
  • Language
    C++
  • Created 9 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Eleanor-H/MUSTARD
github

Eleanor-H

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

DAGN

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

REM-Net

Code for "REM-Net: Recursive Erasure Memory Network for Commonsense Evidence Refinement".
Python
4
star
3

CLOMO

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