Popular GitHub Repositories for Interval Bound Propagation

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

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

Karate Club: An API Oriented Open-source Python Framework for Unsupervised Learning on Graphs (CIKM 2020)

KGAT: Knowledge Graph Attention Network for Recommendation, KDD2019

仅使用numpy从头开始实现神经网络,包括反向传播公式推导过程; numpy构建全连接层、卷积层、池化层、Flatten层；以及图像分类案例及精调网络案例等,持续更新中... ...

[CVPR 2021] Modular Interactive Video Object Segmentation: Interaction-to-Mask, Propagation and Difference-Aware Fusion. Semi-supervised VOS as well!

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.

Minimal and clean examples of machine learning algorithms implemented in Julia

Rethinking Knowledge Graph Propagation for Zero-Shot Learning, in CVPR 2019

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

LiteFlowNet3: Resolving Correspondence Ambiguity for More Accurate Optical Flow Estimation, ECCV 2020

A package for statistically rigorous scientific discovery using machine learning. Implements prediction-powered inference.

[AAAI2023] A PyTorch implementation of PDFormer: Propagation Delay-aware Dynamic Long-range Transformer for Traffic Flow Prediction.

TensorFlow implementations of visualization of convolutional neural networks, such as Grad-Class Activation Mapping and guided back propagation

Python based Graph Propagation algorithm, DeepWalk to evaluate and compare preference propagation algorithms in heterogeneous information networks from user item relation ship.

[CVPR 2020] DPGN: Distribution Propagation Graph Network for Few-shot Learning.

GPstuff - Gaussian process models for Bayesian analysis

Loopy belief propagation for factor graphs on discrete variables in JAX

Mathematics paper recapitulating the calculus behind a neural network and its back propagation

[SIGMOD 2024] RaBitQ: Quantizing High-Dimensional Vectors with a Theoretical Error Bound for Approximate Nearest Neighbor Search