DQN-based RL controller for multi-agent traffic simulation in SUMO

Project Aletheia building a theorem-first, cryptographically-auditable allocation system Lean lemma + Rust/Python simulator scaffold live, ZK checkpoints & entropy fairness duality in progress.

α-fair, cryptographically auditable housing allocation system — reproducible research with ML, ZK proofs, and distributed systems validation.

Quantized YOLOv5 optimized for real-time deployment on Jetson/RPi edge devices

Simulated perturbations + SHAP-based failure detection in vision-based transport AI

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

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

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

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

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

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

Visual web app to define & run inference on Bayesian networks with heatmap outputs

German PDF summarizer + Q&A system using LangChain + Hugging Face LLMs

DoWhy/EconML toolkit for visualizing causal paths and estimating treatment effects

Federated training on MNIST with differential privacy noise + FL metrics tracking