Popular GitHub Repositories for Lean Six Sigma

Human Activity Recognition example using TensorFlow on smartphone sensors dataset and an LSTM RNN. Classifying the type of movement amongst six activity categories - Guillaume Chevalier

LLMs as Copilots for Theorem Proving in Lean

Code for Parsel ? - generate complex programs with language models

[CVPR' 22 ORAL] SIGMA: Semantic-complete Graph Matching for Domain Adaptative Object Detection

ChatGPT plugin for theorem proving in Lean

Lean implementation of various multi-agent LLM methods, including Iteration of Thought (IoT)

Input text from speech in any Linux window, the lean, fast and accurate way, using whisper.cpp offline. Speak with local LLMs.

Public repo for my book about AGI and the control problem Benevolent By Design: Six Words to Safeguard Humanity

A pySigma wrapper and langchain toolkit for automatic rule creation/translation

This code provides a gpt agent that can automatically execute several basic steps of the lean startup approach for business model developmet

Formalizing "Proofs from THE BOOK"

Compare six baseline deep learning models on TrecQA

This project aims to automatically detect surface defects in Hot-Rolled Steel Strips such as rolled-in scale, patches, crazing, pitted surface, inclusion and scratches. A CNN is trained on the NEU Metal Surface Defects Database which contains 1800 grayscale images with 300 samples of each of the six different kinds of surface defects.

zeta-lean: minimalistic python machine learning library built on top of numpy and matplotlib

利用归一化距离对Heun采样器进行启发式改进

The OllaLab-Lean project is designed to help both novice and experienced developers rapidly set up and begin working on LLM-based projects.

LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.

Emotion classification has always been a very challenging task in Computer Vision. Using the SSD object detection algorithm to extract the face in an image and using the FER 2013 released by Kaggle, this project couples a deep learning based face detector and an emotion classification DNN to classify the six/seven basic human emotions.

Experiments with interactive theorem provers, LLMs and formal systems

PixArt Sigma in Forge webUI for Stable Diffusion (and Alpha, LCM, DMD)