Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"

[ICLR 2023] Official implementation of Transnormer in our ICLR 2023 paper - Toeplitz Neural Network for Sequence Modeling

[ICML 2023] Code for our paper “Compositional Exemplars for In-context Learning”.

[ICLR'23] DiffuSeq: Sequence to Sequence Text Generation with Diffusion Models

[NeurIPS'22 Spotlight] Data and code for our paper CoNT: Contrastive Neural Text Generation

A Dependency Parser for Tweets

Code and pre-trained model for: Deep Semantic Role Labeling: What Works and What's Next

DyNet: The Dynamic Neural Network Toolkit