Popular GitHub Repositories for Constraint Solving

fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models

? AgentVerse ? is designed to facilitate the deployment of multiple LLM-based agents in various applications, which primarily provides two frameworks: task-solving and simulation

Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%

A collection of tutorials and examples for solving and understanding machine learning and pattern classification tasks

A language for constraint-guided and efficient LLM programming.

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence

Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"

Jupyter Notebook tutorials on solving real-world problems with Machine Learning & Deep Learning using PyTorch. Topics: Face detection with Detectron 2, Time Series anomaly detection with LSTM Autoencoders, Object Detection with YOLO v5, Build your first Neural Network, Time Series forecasting for Coronavirus daily cases, Sentiment Analysis with BER

A differentiable PDE solving framework for machine learning

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.

Image Captcha Solving Using TensorFlow and CNN Model. Accuracy 90%+

This repository implements a demo of the networks described in "How far are we from solving the 2D & 3D Face Alignment problem? (and a dataset of 230,000 3D facial landmarks)" paper.

Botright, the most advance undetected, fingerprint-changing, captcha-solving, open-source automation framework. Build on Playwright, its as easy to use as it is to extend your code. Solving your Captchas for free with AI.

A library for solving differential equations using neural networks based on PyTorch, used by multiple research groups around the world, including at Harvard IACS.

MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.

Tutorials for doing scientific machine learning (SciML) and high-performance differential equation solving with open source software.