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
  ☆86Updated last year
• castorini / transformers-arithmetic
  ☆38Updated 4 years ago
• belindal / state-probes
  Code for the paper "Implicit Representations of Meaning in Neural Language Models"
  ☆55Updated 2 years ago
• ekinakyurek / lexical
  Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling
  ☆16Updated 3 years ago
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆37Updated 4 years ago
• jacobandreas / geca
  ☆42Updated 4 years ago
• naver / gdc
  Code accompanying our papers on the "Generative Distributional Control" framework
  ☆118Updated 2 years ago
• keyonvafa / sequential-rationales
  Rationales for Sequential Predictions
  ☆40Updated 3 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆96Updated last year
• Yale-LILY / FOLIO
  ☆136Updated last year
• ischlag / TP-Transformer
  ☆49Updated 4 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆89Updated 2 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆74Updated 3 years ago
• qkaren / unsup_gen_for_cms_reasoning
  ☆49Updated 2 years ago
• awebson / prompt_semantics
  This repository accompanies our paper “Do Prompt-Based Models Really Understand the Meaning of Their Prompts?”
  ☆85Updated 3 years ago
• allenai / qasc
  Repository for the Question Answering via Sentence Composition (QASC) dataset
  ☆56Updated 2 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 4 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated 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 last year
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆67Updated 3 years ago
• microsoft / semantic_parsing_with_constrained_lm
  Code to reproduce experiments in the paper "Constrained Language Models Yield Few-Shot Semantic Parsers" (EMNLP 2021).
  ☆68Updated last year
• cambridgeltl / xcopa
  XCOPA: A Multilingual Dataset for Causal Commonsense Reasoning
  ☆104Updated 4 years ago
• martiansideofthemoon / hurdles-longform-qa
  Official repository with code and data accompanying the NAACL 2021 paper "Hurdles to Progress in Long-form Question Answering" (https://a…
  ☆46Updated 3 years ago
• dallascard / NLP-power-analysis
  Replication code for "With Little Power Comes Great Responsibility"
  ☆39Updated 5 years ago
• leo-liuzy / probe-across-time
  ☆22Updated 4 years ago
• timoschick / self-debiasing
  This repository contains the code for "Self-Diagnosis and Self-Debiasing: A Proposal for Reducing Corpus-Based Bias in NLP".
  ☆88Updated 4 years ago
• yoonkim / neural-qcfg
  ☆45Updated 4 years ago
• sustcsonglin / TN-PCFG
  source code of NAACL2021 "PCFGs Can Do Better: Inducing Probabilistic Context-Free Grammars with Many Symbols“ and ACL2021 main conferenc…
  ☆51Updated 8 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• harvardnlp / compound-pcfg
  ☆130Updated 2 years ago