Alternatives and similar repositories for naturalproofs:

Users that are interested in naturalproofs are comparing it to the libraries listed below

• castorini / transformers-arithmetic
  ☆38Updated 4 years ago
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆65Updated 2 years ago
• belindal / state-probes
  Code for the paper "Implicit Representations of Meaning in Neural Language Models"
  ☆53Updated 2 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆84Updated 7 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆37Updated 2 years ago
• ekinakyurek / lexical
  Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling
  ☆16Updated 3 years ago
• cambridgeltl / parameter-factorization
  Factorization of the neural parameter space for zero-shot multi-lingual and multi-task transfer
  ☆39Updated 4 years ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated 11 months ago
• jacobandreas / geca
  ☆42Updated 4 years ago
• joshuacnf / paradox-learning2reason
  ☆34Updated 4 months ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• cambridgeltl / xcopa
  XCOPA: A Multilingual Dataset for Causal Commonsense Reasoning
  ☆102Updated 4 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆92Updated 11 months ago
• yoonkim / neural-qcfg
  ☆45Updated 3 years ago
• allenai / allentune
  Hyperparameter Search for AllenNLP
  ☆139Updated last month
• ischlag / TP-Transformer
  ☆50Updated 4 years ago
• allenai / tpu_pretrain
  LM Pretraining with PyTorch/TPU
  ☆134Updated 5 years ago
• Yale-LILY / FOLIO
  ☆119Updated last year
• timoschick / self-debiasing
  This repository contains the code for "Self-Diagnosis and Self-Debiasing: A Proposal for Reducing Corpus-Based Bias in NLP".
  ☆88Updated 3 years ago
• leo-liuzy / probe-across-time
  ☆22Updated 3 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated 2 years ago
• ofirpress / sandwich_transformer
  This repository contains the code for running the character-level Sandwich Transformers from our ACL 2020 paper on Improving Transformer …
  ☆55Updated 4 years ago
• babylm / evaluation-pipeline-2024
  The evaluation pipeline for the 2024 BabyLM Challenge.
  ☆30Updated 5 months ago
• sroy9 / mawps
  Code for MAWPS: A Math Word Problem Repository
  ☆41Updated 2 years ago
• IKMLab / arct2
  Code for reproducing experiments in our ACL 2019 paper "Probing Neural Network Comprehension of Natural Language Arguments"
  ☆53Updated 2 years ago
• ethanjperez / convince
  Finding Generalizable Evidence by Learning to Convince Q&A Models
  ☆25Updated 2 years ago
• i-machine-think / am-i-compositional
  ☆63Updated last year
• tommccoy1 / rnn-hierarchical-biases
  Code for "Does syntax need to grow on trees? Sources of inductive bias in sequence to sequence networks"
  ☆23Updated 5 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated last year
• google-deepmind / transformer_grammars
  Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)
  ☆125Updated 5 months ago