wellecks / naturalproofs

Related projects ⓘ

Alternatives and complementary repositories for naturalproofs

• castorini / transformers-arithmetic
  ☆38Updated 3 years ago
• Yale-LILY / FOLIO
  ☆112Updated 11 months ago
• ischlag / TP-Transformer
  ☆49Updated 3 years ago
• jacobandreas / geca
  ☆42Updated 3 years ago
• krishnap25 / mauve-experiments
  ☆34Updated 6 months ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆81Updated 2 months ago
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆61Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆34Updated last year
• qkaren / unsup_gen_for_cms_reasoning
  ☆49Updated last year
• cambridgeltl / xcopa
  XCOPA: A Multilingual Dataset for Causal Commonsense Reasoning
  ☆98Updated 3 years ago
• naver / gdc
  Code accompanying our papers on the "Generative Distributional Control" framework
  ☆117Updated last year
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆90Updated 6 months ago
• belindal / state-probes
  Code for the paper "Implicit Representations of Meaning in Neural Language Models"
  ☆49Updated last year
• john-hewitt / dyckkm-learning
  Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language
  ☆15Updated 4 years ago
• cambridgeltl / parameter-factorization
  Factorization of the neural parameter space for zero-shot multi-lingual and multi-task transfer
  ☆39Updated 4 years ago
• alontalmor / LeapOfThought
  ☆48Updated last year
• nitishgupta / nmn-drop
  Neural Module Network for Reasoning over Text, ICLR 2020
  ☆122Updated 4 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated last year
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated last year
• i-machine-think / am-i-compositional
  ☆62Updated last year
• joshuacnf / paradox-learning2reason
  ☆33Updated 8 months ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• jzbjyb / LPAQA
  Language model Prompt And Query Archive
  ☆157Updated 3 years ago
• ekinakyurek / lexical
  Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling
  ☆15Updated 2 years ago
• lucidrains / marge-pytorch
  Implementation of Marge, Pre-training via Paraphrasing, in Pytorch
  ☆75Updated 3 years ago
• jiacheng-xu / lattice-generation
  Code for Massive-scale Decoding for Text Generation using Lattices
  ☆42Updated 2 years ago
• allenai / allentune
  Hyperparameter Search for AllenNLP
  ☆134Updated 4 years ago
• allenai / qasc
  Repository for the Question Answering via Sentence Composition (QASC) dataset
  ☆52Updated last year
• FranxYao / Distributional-Generalization-in-Natural-Language-Processing
  Distributional Generalization in NLP. A roadmap.
  ☆87Updated last year
• dallascard / NLP-power-analysis
  ☆38Updated 4 years ago