PSLQA
by adityaSomak
An implementation of Probabilistic Soft Logic Engine using Python/Gurobi
AI summary
Reasoning engine
An implementation of a Probabilistic Soft Logic Engine with Python and Gurobi optimization for knowledge representation and reasoning.
- stars
- 56
- forks
- 5
- watching
- 7
Similar projects
Found by comparing what the projects do, not just their names.
State vector simulator
A PyTorch-based simulator for quantum machine learning
Quantum algorithm development
A toolkit for developing and optimizing quantum algorithms using Python
Proof assistant library
Python bindings for Coq's interactive proof assistant
Quantum simulator library
A package for building and simulating digital-analog quantum programs with tunable qubit interactions
ScienceQA toolkit
A dataset and software framework for building multimodal reasoning systems to answer science questions.
Query library
A syntax extension for writing SQL queries in OCaml with type inference and syntax checking.
ZK SDK
A toolkit for building and executing zero-knowledge transactions in web applications.
Neural network interpreter
An Explainable AI toolbox that provides various methods and tools to understand and interpret the behavior of neural networks
Quantum circuit solver
A Python package for generating and executing quantum circuits for solving satisfiability problems using Grover's algorithm
AutoML toolkit
An efficient AutoML system that automates the machine learning lifecycle
Workflows
Automated workflows for quantum mechanical environments using Python.
rigetti/pyquil1.4K
Quantum programmer
A Python library for programming quantum computers using the Quil instruction language.
Quantum simulator
A JAX-based simulator for quantum states and machine learning
Machine Learning Algorithm
An implementation of an online federated learning algorithm with multiple kernels for personalized machine learning
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
