Skip to content

Bishwamittra Ghosh

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

7

Active years

2019–2026

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2026ACLFine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective.Bishwamittra Ghosh, Soumi Das, Till Speicher, Qinyuan Wu, Mohammad Aflah Khan, Deepak Garg, Krishna P. Gummadi, Evimaria Terzi
2025AAAIActive Fourier Auditor for Estimating Distributional Properties of ML Models.Ayoub Ajarra, Bishwamittra Ghosh, Debabrota Basu
2025ECAIHistory-Aware and Dynamic Client Contribution in Federated Learning.Bishwamittra Ghosh, Debabrota Basu, Huazhu Fu, Yuan Wang, Renuga Kanagavelu, Jinpeng Jiang, Yong Liu, Rick Siow Mong Goh, Qingsong Wei
2025ICLRLogical Consistency of Large Language Models in Fact-Checking.Bishwamittra Ghosh, Sarah Hasan, Naheed Anjum Arafat, Arijit Khan
2025WSDMTowards Reliable Latent Knowledge Estimation in LLMs: Zero-Prompt Many-Shot Based Factual Knowledge Extraction.Qinyuan Wu, Mohammad Aflah Khan, Soumi Das, Vedant Nanda, Bishwamittra Ghosh, Camila Kolling, Till Speicher, Laurent Bindschaedler, Krishna P. Gummadi, Evimaria Terzi
2023IJCAIInterpretability and Fairness in Machine Learning: A Formal Methods Approach.Bishwamittra Ghosh
2022AAAIAlgorithmic Fairness Verification with Graphical Models.Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2021AAAIJusticia: A Stochastic SAT Approach to Formally Verify Fairness.Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
2020AAAIA MaxSAT-Based Framework for Group Testing.Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S. Meel
2020ECAIClassification Rules in Relaxed Logical Form.Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
2019AIESIMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules.Bishwamittra Ghosh, Kuldeep S. Meel