joshuacnf / paradox-learning2reason
☆33Updated last month
Alternatives and similar repositories for paradox-learning2reason:
Users that are interested in paradox-learning2reason are comparing it to the libraries listed below
- ☆28Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆36Updated last year
- ☆19Updated last year
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆17Updated last year
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- ☆38Updated 3 years ago
- ☆22Updated 3 years ago
- Code Repository for "A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models".☆13Updated 2 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- Code for "Discovering Non-monotonic Autoregressive Orderings with Variational Inference" (paper and code updated from ICLR 2021)☆12Updated 11 months ago
- ☆105Updated 2 years ago
- Official code repository for the paper: AbsPyramid: Benchmarking the Abstration Ability of Language Models with a Unified Entailment Grap…☆12Updated 3 months ago
- Code for our paper: "GrIPS: Gradient-free, Edit-based Instruction Search for Prompting Large Language Models"☆53Updated last year
- The accompanying code for "Transformer Feed-Forward Layers Are Key-Value Memories". Mor Geva, Roei Schuster, Jonathan Berant, and Omer Le…☆89Updated 3 years ago
- This repository includes code for the paper "Does Localization Inform Editing? Surprising Differences in Where Knowledge Is Stored vs. Ca…☆58Updated last year
- A Kernel-Based View of Language Model Fine-Tuning https://arxiv.org/abs/2210.05643☆74Updated last year
- Code for paper "Leakage-Adjusted Simulatability: Can Models Generate Non-Trivial Explanations of Their Behavior in Natural Language?"☆20Updated 4 years ago
- ☆34Updated 10 months ago
- Experiments and code to generate the GINC small-scale in-context learning dataset from "An Explanation for In-context Learning as Implici…☆103Updated last year
- Code for Residual Energy-Based Models for Text Generation in PyTorch.☆23Updated 3 years ago
- A library for efficient patching and automatic circuit discovery.☆53Updated 2 months ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆50Updated 2 years ago
- [EMNLP 2021] Dataset and PyTorch Code for ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning☆11Updated 2 years ago
- ☆13Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆13Updated 2 weeks ago
- Augmenting Statistical Models with Natural Language Parameters☆22Updated 4 months ago
- ☆20Updated 3 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆26Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year