Skip to content
View Aqib121201's full-sized avatar

Block or report Aqib121201

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 250 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Aqib121201/README.md

Aqib Siddiqui


Profile Snapshot

Architecting interpretable, production‑grade ML pipelines with research‑level reproducibility and deployment‑level reliability.

Core Competence Technologies Evidence
End‑to‑End AI Pipelines PyTorch · scikit‑learn · LangChain · TensorFlow Docker hashes · CI logs
Explainability & Fairness SHAP · Grad‑CAM · Fairlearn · Captum PDF reports · Jupyter artefacts
Edge & Cloud Deployment Spring Boot · FastAPI · TensorRT · AWS CDK · GCP · Azure Functions Live demo endpoints
Verification Discipline 82%+ coverage · static analysis · regression test harnesses GitHub Actions · badges
DataOps & MLOps DVC · MLflow · Airflow · Great Expectations Auto-tracked experiments & validation

Tech Stack Mastery

Programming Languages

Python Java JavaScript SQL TypeScript

AI/ML Frameworks

PyTorch TensorFlow Keras scikit-learn XGBoost LightGBM

NLP & LLM

spaCy HuggingFace LangChain Transformers

MLOps & DevOps

Docker MLflow DVC GitHub Actions Airflow Kubernetes

Visualization & UI

Plotly Altair Streamlit

Backend & API

Spring Boot FastAPI PostgreSQL


Vision & Next Horizon

Project Aletheia – a universal, cryptographically-auditable framework for fair online decision-making uniting ergodic control, convex geometry, stochastic processes, and zero-knowledge proofs, applied to housing and healthcare allocation.

Objectives 2026
• Prove an Ergodic Allocation Law ensuring almost-sure fairness for multi-resource scheduling (housing units, hospital beds) under adversarial arrivals
• Achieve O(√n log d) minimax regret with polylog-time mirror descent projections onto fairness polytopes
• Establish an Entropy–Fairness Duality Theorem with Banach–Mazur distortion ≤ O(log d) across convex bodies
• Ship ZK Allocation Checkpoints (≤ 50 ms verification, ≤ 2 MB proof size) enforcing GDPR/AI-Act compliance
• Deploy a reproducible Rust/Python simulator for Berlin–Munich–Hamburg housing allocation with real datasets + fairness-drift dashboard
• Publish formal Lean/Coq proofs, open-source code, and dataset cards


⚙️ Engineering Principles

  • Theorem-First Science – All guarantees (ergodicity, entropy duality, regret bounds) proven formally before coding
  • Verifiable by Design – Every allocation decision emits a Halo2/PLONK ZK-certificate bound to logs and DP noise
  • Geometry-Aware Optimization – Bregman divergences tuned to fairness polytopes; polylog-time oracle projections
  • Stochastic-Control Guarantees – Lyapunov drift ensures ε-bounded violations across millions of allocations
  • EU-Ready – Explicit AI-Act templates for DPIA, auditability, transparency, oversight
  • Reproducible & Open – One-click CI, seeded runs, dataset cards, GitHub with >80 % coverage

Contact Vector

[email protected]   •   linkedin.com/in/aqib-siddiqui-b954021b9   •   leetcode.com/u/aqib_siddiqui_121201/

Continuous integration of knowledge & infrastructure since 2020.

Pinned Loading

  1. FMST-Provably-Fair-Multimodal-Transformer-for-Multi-Disease-Survival-Prediction FMST-Provably-Fair-Multimodal-Transformer-for-Multi-Disease-Survival-Prediction Public

    SHAP-powered ensemble ML system (AUROC: 0.94) for multi-disease diagnosis; Streamlit UI

    Python 4 1

  2. BurgerBot BurgerBot Public

    LLM dashboard for German policy documents—translation, summarization, visualization

    Python 3

  3. FairNLP-SHAP-Based-Bias-Detection-in-Multilingual-BERT-Models FairNLP-SHAP-Based-Bias-Detection-in-Multilingual-BERT-Models Public

    Bias analysis in multilingual BERT using SHAP and fairness metrics (EN, DE, HI)

    Python 3

  4. MiniRAG-Streamlit-Q-A-Interface-with-Vector-Search-and-Local-LLMs MiniRAG-Streamlit-Q-A-Interface-with-Vector-Search-and-Local-LLMs Public

    Local PDF Q&A with vector search + LLMs; LangChain powered Streamlit interface

    Python 3

  5. XAI-for-Chest-X-rays-Grad-CAM-Interpretability-on-CNN-Based-Medical-Diagnosis XAI-for-Chest-X-rays-Grad-CAM-Interpretability-on-CNN-Based-Medical-Diagnosis Public

    Grad-CAM + SHAP explanations on ResNet for interpretable chest X-ray diagnosis

    Python 3

  6. YOLO-R-CNN-Vision-Assistant-for-Visually-Impaired-Navigation YOLO-R-CNN-Vision-Assistant-for-Visually-Impaired-Navigation Public

    Edge-deployed assistive vision system with object detection + audio for navigation support

    Python 3