Alternatives and similar repositories for naturalproofs

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

• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆84Updated 8 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆37Updated 2 years ago
• castorini / transformers-arithmetic
  ☆38Updated 4 years ago
• krishnap25 / mauve-experiments
  ☆38Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• belindal / state-probes
  Code for the paper "Implicit Representations of Meaning in Neural Language Models"
  ☆53Updated 2 years ago
• ischlag / TP-Transformer
  ☆50Updated 4 years ago
• jacobandreas / geca
  ☆42Updated 4 years ago
• joshuacnf / paradox-learning2reason
  ☆34Updated 4 months ago
• ekinakyurek / lexical
  Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling
  ☆16Updated 3 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆88Updated 2 years ago
• RobertCsordas / transformer_generalization
  The official repository for our paper "The Devil is in the Detail: Simple Tricks Improve Systematic Generalization of Transformers". We s…
  ☆67Updated 2 years ago
• yoonkim / neural-qcfg
  ☆45Updated 3 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆23Updated 4 years ago
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆66Updated 2 years ago
• lena-voita / description-length-probing
  This is a repository with the code for the EMNLP 2020 paper "Information-Theoretic Probing with Minimum Description Length"
  ☆71Updated 8 months ago
• naver / gdc
  Code accompanying our papers on the "Generative Distributional Control" framework
  ☆118Updated 2 years ago
• rowanz / turingadvice
  Evaluating Machines by their Real-World Language Use
  ☆33Updated last year
• qkaren / unsup_gen_for_cms_reasoning
  ☆49Updated last year
• cambridgeltl / xcopa
  XCOPA: A Multilingual Dataset for Causal Commonsense Reasoning
  ☆103Updated 4 years ago
• leo-liuzy / probe-across-time
  ☆22Updated 3 years ago
• princeton-vl / FormulaNet
  Code for FormulaNet in NIPS 2017
  ☆30Updated 7 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• FranxYao / Gumbel-CRF
  Implementation of NeurIPS 20 paper: Latent Template Induction with Gumbel-CRFs
  ☆56Updated 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
  ☆49Updated last year
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆174Updated last year
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 3 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated 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