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
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• GEM-benchmark / GEM-metrics
  Automatic metrics for GEM tasks
  ☆66Updated 2 years ago
• belindal / state-probes
  Code for the paper "Implicit Representations of Meaning in Neural Language Models"
  ☆54Updated 2 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆88Updated 2 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆86Updated 8 months 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
• joshuacnf / paradox-learning2reason
  ☆34Updated 5 months ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆36Updated last year
• Yale-LILY / FOLIO
  ☆124Updated last year
• naver / gdc
  Code accompanying our papers on the "Generative Distributional Control" framework
  ☆118Updated 2 years ago
• ischlag / TP-Transformer
  ☆50Updated 4 years ago
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆37Updated 3 years ago
• facebookresearch / clutrr
  Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
  ☆94Updated last year
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆72Updated 2 years ago
• jacobandreas / geca
  ☆42Updated 4 years ago
• krishnap25 / mauve-experiments
  ☆38Updated last year
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆23Updated 4 years ago
• rycolab / info-theoretic-probing
  This code accompanies the paper "Information-Theoretic Probing for Linguistic Structure" published in ACL 2020.
  ☆21Updated 5 years ago
• tommccoy1 / embers-of-autoregression
  ☆29Updated 5 months 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
• tonywu95 / LIME
  Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
  ☆29Updated 3 years ago
• dallascard / NLP-power-analysis
  ☆39Updated 4 years ago
• allenai / ruletaker
  ☆48Updated 6 months ago
• jzbjyb / LPAQA
  Language model Prompt And Query Archive
  ☆158Updated 4 years ago
• i-machine-think / am-i-compositional
  ☆62Updated last year
• EleutherAI / knowledge-neurons
  A library for finding knowledge neurons in pretrained transformer models.
  ☆157Updated 3 years ago
• protagolabs / odyssey-math
  ☆83Updated 4 months ago
• qkaren / COLD_decoding
  ☆107Updated 2 years ago