Projects

Aries
Formal verification layer for AI agents using OWL ontologies and Z3/SMT solving · GitHub

CalFresh Neuro-Symbolic Auditor
End-to-end auditing pipeline using ontologies, GPT-o1, and Z3 verification · GitHub

RADAR
RAG system using LLaMA 3.1 8B to transform natural language queries into automated visualizations · GitHub

Dark Pattern Analyzer
RAG-powered browser extension to detect deceptive UX patterns using dark pattern retrieval and LLM-based DOM classification · GitHub

StructuralDecompose
R package for structural decomposition analysis · CRAN

TangledFeatures
Feature interaction analysis framework · CRAN