tonywu95 / LIMELinks
Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
☆29Updated 4 years ago
Alternatives and similar repositories for LIME
Users that are interested in LIME are comparing it to the libraries listed below
Sorting:
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19Updated 2 years ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Updated 2 years ago
- A unified benchmark for math reasoning☆89Updated 2 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 4 years ago
- NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)☆133Updated 3 years ago
- This repository contains some of the code used in the paper "Training Language Models with Langauge Feedback at Scale"☆27Updated 2 years ago
- ☆38Updated 3 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆86Updated last year
- Code for generating the JuICe dataset.☆37Updated 4 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆21Updated 3 years ago
- GHOSTS dataset☆39Updated 2 years ago
- Neural theorem proving tutorial, version II☆39Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- ☆50Updated 4 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆74Updated 3 years ago
- [EMNLP 2021] Dataset and PyTorch Code for ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning☆15Updated 3 years ago
- ☆46Updated 3 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆23Updated last year
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆21Updated last month
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 3 years ago
- Bayesian scaling laws for in-context learning.☆15Updated 8 months ago
- Learning to Model Editing Processes☆26Updated 3 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆67Updated last week
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆19Updated 2 years ago
- The data and the PyTorch implementation for the models and experiments in the paper "Language Model Decoding as Likelihood–Utility Alignm…☆14Updated 2 years ago
- Paper: Lexicon Learning for Few-Shot Neural Sequence Modeling☆16Updated 3 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 2 months ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆55Updated 2 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year