joshuacnf / paradox-learning2reason
☆33Updated 3 weeks ago
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
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆37Updated 2 years ago
- ☆22Updated 3 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Code for "Discovering Non-monotonic Autoregressive Orderings with Variational Inference" (paper and code updated from ICLR 2021)☆11Updated 10 months ago
- ☆38Updated 3 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆19Updated 7 months ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆26Updated last year
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Codebase implementing LMs for learning the Dyck-(k,m) bounded hierarchical language☆15Updated 4 years ago
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- ☆24Updated 4 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆17Updated last year
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆25Updated 4 years ago
- Code for the paper "Implicit Representations of Meaning in Neural Language Models"☆50Updated last year
- ☆41Updated last year
- ☆19Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Code for gradient rollback, which explains predictions of neural matrix factorization models, as for example used for knowledge base comp…☆21Updated 3 years ago
- Package for defining computation graphs and performing intervention experiments☆14Updated 3 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆75Updated 2 years ago
- ☆43Updated last year
- Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization☆14Updated 2 years ago
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆30Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- ☆13Updated 3 years ago
- Neural Logic Inductive Learning☆41Updated 2 years ago
- Super fast implementations of common benchmark text world games☆44Updated last month