Highlights
- Pro
Pinned Loading
-
-
formal-verification
formal-verification PublicThis repository accompanies the book chapter on formal verification of modern systems, demonstrating the application of TLA+ across various domains:
TLA 2
-
explain-ai
explain-ai PublicAn AI loan-approval system showcasing the shift from explainable ML to a RAG-based assistant. Includes LIME/SHAP analysis with scikit-learn models and a Streamlit app powered by FAISS, Sentence Tra…
Jupyter Notebook
-
supply-chain
supply-chain PublicThis project demonstrates two approaches for **multi-objective optimization** using the **NSGA-II genetic algorithm** to determine optimal locations for **nursing service centers**. Tech: Python, p…
Python 1
-
-
If the problem persists, check the GitHub status page or contact support.