I am a PhD Candidate in Electrical and Computer Engineering at Rochester Institute of Technology (RIT), working at the intersection of Large Language Models (LLMs), Mathematics, and Trustworthy AI.
My research focuses on making the reasoning of LLMs auditable by developing explainable techniques to verify provenance, trace reasoning processes, and attribute AI-generated responses to their underlying sources.
My broader goal is to improve decision-making and build trust in Agentic-AI applications by making how they derive their responses more transparent and mathematically traceable.
Methods that make a model's behavior traceable rather than asking users to trust it.
LLM agents that plan and act on complex tasks under structured, auditable constraints.
How to adaptively align LLM behavior with human intent and values.
Systems that remain reliable when there are security issues and unexpected changes.
Understanding the shape and structure of data to reveal hidden patterns and relationships.
Neural network architectures and training methods for advanced AI applications.
To be able to verify AI reasonings and developing trust in Agentic-AI applications, we combined our research publications, namely ProveRAG, LEA, and TAD, into a single framework called AuditLM.
AuditLM is a framework for auditing LLM-generated responses, and it is designed to be modular and extensible. It provides three auditing lenses: ProveRAG for provenance verification, LEA for token-level source attribution, and TAD for segment-level evidence verification.