Alternatives and similar repositories for differentiable-proving

Users that are interested in differentiable-proving are comparing it to the libraries listed below

• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆16Updated 3 years ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆101Updated last week
• mlcommons / ck-mlops
  A collection of portable workflows, automation recipes and components for MLOps in a unified CK format. Note that this repository is outd…
  ☆18Updated 9 months ago
• felipemaiapolo / prompteval
  Efficient multi-prompt evaluation of LLMs
  ☆22Updated 9 months ago
• corneliocristina / NASR
  ☆13Updated last year
• IBM / ACPBench
  ACPBench: Reasoning about Action, Change, and Planning
  ☆26Updated this week
• IBM / inFairness
  PyTorch package to train and audit ML models for Individual Fairness
  ☆66Updated last week
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆282Updated last week
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆36Updated 3 months ago
• smeznar / HVAE
  An approach for embedding hierarhical structures into a continuous vector space using variational autoencoders.
  ☆28Updated 2 months ago
• tetherless-world / explanation-ontology
  Explanation Ontology Resource website
  ☆11Updated last year
• bigcode-project / bigcode-inference-benchmark
  ☆19Updated last year
• IBM / AMR-CSLogic
  A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.
  ☆13Updated 3 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆66Updated 7 months ago
• project-codeflare / codeflare-transfer-learning
  ☆23Updated 3 years ago
• RewardReports / reward-reports
  Documentation for dynamic machine learning systems.
  ☆29Updated last year
• DatenVorsprung / GoTube
  Scalable stochastic verification of continuous-depth models
  ☆11Updated 2 years ago
• msakarvadia / AttentionLens
  Interpretating the latent space representations of attention head outputs for LLMs
  ☆34Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆135Updated 4 months ago
• leonard-gleyzer / connex
  Fine-grained, dynamic control of neural network topology in JAX.
  ☆21Updated 2 years ago
• UCLA-StarAI / GeLaTo
  ☆20Updated 2 years ago
• IBM / AI-Hilbert
  AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundam…
  ☆36Updated last week
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• open-lm-engine / lm-engine
  LM engine is a library for pretraining/finetuning LLMs
  ☆67Updated last week
• ExtensityAI / benchmark
  Evaluation of neuro-symbolic engines
  ☆39Updated last year
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆48Updated last week
• stfc-sciml / sciml-bench
  SciML Benchmarking Suite for AI for Science
  ☆42Updated last year
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆109Updated last month
• NERSC / slurm-ray-cluster
  ☆60Updated 2 years ago
• trishullab / near
  ☆24Updated 4 years ago