Ritika Lamba
|
Research Interests
I am broadly interested in:
Automated reasoning, large language models (LLMs), trustworthy AI, explainable AI (XAI)
Symbolic and statistical interpretability, counterfactual explanations
Fairness in AI, static and program analysis, SMT-based verification, program synthesis
Causal reasoning, NLP emotion tagging, and multi-label consistency evaluation