RAG Web UI is an intelligent dialogue system based on RAG (Retrieval-Augmented Generation) technology.

NUS CS5242 Neural Networks and Deep Learning, Xavier Bresson, 2025

Self-evaluating interview for AI coders

Langchain + Docker + Neo4j + Ollama

This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.

Graph based retrieval + GenAI = Better RAG in production

Scalable and user friendly neural 🧠 forecasting algorithms.

Template for a data science project

Github Repository for the KerasBeats package. Easily import and use the NBeats NN architecture in Keras

A tool for quantitatively assessing permissiveness of access control policies in the cloud

Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …

SAT Solver SATCH

Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"

Synchronous fault-tolerant distributed algorithms encoded in TLA+

A curated list of references for MLOps

A curated list of TLA+ resources.

Reading list for research topics in multimodal machine learning

Cardiologist-level arrhythmia detection and classification in ambulatory electrocardiograms using a deep neural network

Python interpreter for TLA+ specifications

Google Brain AutoML

COVID-Net model for COVID-19 detection on COVIDx dataset

Build complex rules, serialize them as JSON, and execute them in Python

Parser in Java for Lisp S-expressions.

Jupyter kernel for TLA⁺

ECG classification from short single lead segments (Computing in Cardiology Challenge 2017 entry)

Notebooks and code for the book "Introduction to Machine Learning with Python"

Source Code for 'Practical TLA+' by Hillel Wayne

Train Fashion-MNIST by ResNet With TensorFlow 2.0 Alpha

Docker container with Jupyter, Matplotlib, Pandas, Tensorflow and Keras

Autonomous driving - car detection using the very powerful YOLO model