Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.AI2025
From Personalization to Prejudice: Bias and Discrimination in Memory-Enhanced AI Agents for Recruitment
Himanshu Gharat, Himanshi Agrawal, Gourab K. Patro
Large Language Models (LLMs) have empowered AI agents with advanced capabilities for understanding, reasoning, and interacting across diverse tasks. The addition of memory further…
cs.LO2016
Scaling Bounded Model Checking By Transforming Programs With Arrays
Anushri Jana, Uday P. Khedker, Advaita Datar +2
Bounded Model Checking is one the most successful techniques for finding bugs in program. However, model checkers are resource hungry and are often unable to verify programs with l…