Alternatives and similar repositories for naturalproofs:

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

• castorini / transformers-arithmetic
  ☆38Updated 3 years ago
• Yale-LILY / FOLIO
  ☆114Updated last year
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆36Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆33Updated 9 months ago
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆64Updated 2 years ago
• sroy9 / mawps
  Code for MAWPS: A Math Word Problem Repository
  ☆40Updated last year
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆36Updated 3 years ago
• naver / gdc
  Code accompanying our papers on the "Generative Distributional Control" framework
  ☆117Updated 2 years ago
• joshuacnf / paradox-learning2reason
  ☆33Updated 2 months ago
• cambridgeltl / xcopa
  XCOPA: A Multilingual Dataset for Causal Commonsense Reasoning
  ☆101Updated 4 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆71Updated 2 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• neulab / knn-transformers
  PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an…
  ☆271Updated 2 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆91Updated 9 months ago
• machelreid / m2d2
  M2D2: A Massively Multi-domain Language Modeling Dataset (EMNLP 2022) by Machel Reid, Victor Zhong, Suchin Gururangan, Luke Zettlemoyer
  ☆55Updated 2 years ago
• belindal / state-probes
  Code for the paper "Implicit Representations of Meaning in Neural Language Models"
  ☆50Updated 2 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆25Updated 4 years ago
• jacobandreas / geca
  ☆42Updated 4 years ago
• ischlag / TP-Transformer
  ☆50Updated 3 years ago
• 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
• 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 2 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆83Updated 5 months ago
• krishnap25 / mauve-experiments
  ☆35Updated 9 months ago
• i-machine-think / am-i-compositional
  ☆63Updated last year
• peterbhase / LAS-NL-Explanations
  Code for paper "Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?"
  ☆20Updated 4 years ago
• jiacheng-xu / lattice-generation
  Code for Massive-scale Decoding for Text Generation using Lattices
  ☆45Updated 2 years ago
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 2 years ago
• ekinakyurek / lexical
  Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling
  ☆15Updated 3 years ago
• harvardnlp / compound-pcfg
  ☆129Updated last year