4 papers
Logical Consistency of Large Language Models in Fact-checking
Bishwamittra Ghosh, Sarah Hasan, Naheed Anjum Arafat +1
In recent years, large language models (LLMs) have demonstrated significant success in performing varied natural language tasks such as language translation, question-answering, su…
Active Fourier Auditor for Estimating Distributional Properties of ML Models
Ayoub Ajarra, Bishwamittra Ghosh, Debabrota Basu
With the pervasive deployment of Machine Learning (ML) models in real-world applications, verifying and auditing properties of ML models have become a central concern. In this work…
Neighborhood-based Hypergraph Core Decomposition
Naheed Anjum Arafat, Arijit Khan, Arpit Kumar Rai +1
We propose neighborhood-based core decomposition: a novel way of decomposing hypergraphs into hierarchical neighborhood-cohesive subhypergraphs. Alternative approaches to decomposi…
Algorithmic Fairness Verification with Graphical Models
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
In recent years, machine learning (ML) algorithms have been deployed in safety-critical and high-stake decision-making, where the fairness of algorithms is of paramount importance.…