softsys4ai / differentiable-provingLinks
Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
☆12Updated 3 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 4 months ago
- ACPBench: Reasoning about Action, Change, and Planning☆32Updated 2 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Updated 3 years ago
- Source code for Activated LoRA☆23Updated 2 months ago
- Neuro-Symbolic AI Toolkit☆112Updated 4 months ago
- ML Benchmarks in Algebraic Combinatorics☆23Updated 3 weeks ago
- Create and deploy virtual-experiments - co-processing computational workflows☆10Updated last week
- A collection of portable workflows, automation recipes and components for MLOps in a unified CK format. Note that this repository is outd…☆18Updated last year
- Explanation Ontology Resource website☆12Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆71Updated last month
- Scalable training and inference for Probabilistic Circuits☆92Updated this week
- Github repo backing website for the CS Assistant Professor Handbook☆27Updated last year
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- ☆19Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆18Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆101Updated 4 months ago
- ☆21Updated last week
- Neural Algorithmic Reasoning Tutorial☆12Updated 3 years ago
- ☆24Updated 5 years ago
- Repository of machine learning benchmarks☆48Updated 2 months ago
- ☆53Updated 2 years ago
- AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundam…☆42Updated 4 months ago
- Probabilistic Circuits from the Juice library☆106Updated last year
- The Python PSDD Package☆19Updated 6 months ago
- Documenting large text datasets 🖼️ 📚☆14Updated last year
- Computing the greatest common divisor with transformers, source code for the paper https//arxiv.org/abs/2308.15594☆14Updated 5 months ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆55Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- ☆36Updated last year
- Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)☆61Updated 4 months ago