softsys4ai / differentiable-provingLinks
Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
☆12Updated 2 years ago
Alternatives and similar repositories for differentiable-proving
Users that are interested in differentiable-proving are comparing it to the libraries listed below
Sorting:
- A HOL-based framework for reasoning over knowledge graphs☆26Updated last month
- Demo for Neuro-Symbolic Agent (LOA)☆16Updated 3 years ago
- ACPBench: Reasoning about Action, Change, and Planning☆30Updated last month
- Efficient multi-prompt evaluation of LLMs☆23Updated 10 months ago
- ☆13Updated 2 years ago
- Explanation Ontology Resource website☆11Updated last year
- ☆19Updated last year
- ☆45Updated last year
- Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594☆14Updated 2 months ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆50Updated last month
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆38Updated 4 months ago
- A collection of portable workflows, automation recipes and components for MLOps in a unified CK format. Note that this repository is outd…☆18Updated 10 months ago
- Create and deploy virtual-experiments - co-processing computational workflows☆10Updated 3 months ago
- ☆14Updated 5 months ago
- A Framework for Reasoning about System Performance using Causal AI☆43Updated 3 years ago
- ☆20Updated 2 months ago
- ☆13Updated 3 years ago
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 8 months ago
- Source code for Activated LoRA☆22Updated 3 weeks ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated 2 years ago
- Documentation for dynamic machine learning systems.☆29Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆50Updated last year
- Neuro-Symbolic AI Toolkit☆106Updated last month
- ☆24Updated 4 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆16Updated 9 months ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 3 years ago
- ☆10Updated 6 months ago
- General-purpose program synthesiser☆48Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated last year
- ModelDiff: A Framework for Comparing Learning Algorithms☆59Updated 2 years ago