Eleanor-H

Argument_Parsing

code for 2018 master thesis: "Argument Components and Structure Parsing in Case Brief"

DAGN

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

MUSTARD

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

REM-Net

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

MetaLogic

Lemur-program-verification

Eleanor-H/DAGN

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

Eleanor-H/MUSTARD

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

Eleanor-H/REM-Net

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

Eleanor-H/Argument_Parsing

code for 2018 master thesis: "Argument Components and Structure Parsing in Case Brief"