Bishwamittra Ghosh
7 papers · 2020–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (10) π Academic Marathon (5) π Interdisciplinary Bridge π Conference Polyglot (3) π Cross-Pollinator (14)
π§
Keyword Pioneer
π
Keyword Champion
(2)
Conferences
AAAI (4)
ACL (1)
ICLR (1)
IJCAI (1)
Top co-authors
Keywords
fairness verification
(2)
algorithmic fairness
(1)
in-context learning
(1)
fourier analysis
(1)
formal methods
(1)
formal verification
(1)
machine learning
(1)
bayesian network
(1)
graphical model
(1)
inductive bia
(1)
bias mitigation
(1)
group fairness
(1)
formal language
(1)
individual fairness
(1)
statistical parity
(1)
maxsat solving
(1)
equalized odd
(1)
fourier coefficient
(1)
classifier bia
(1)
group testing
(1)
Papers
Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective
ACL 2026
Active Fourier Auditor for Estimating Distributional Properties of ML Models
AAAI 2025
Logical Consistency of Large Language Models in Fact-Checking
ICLR 2025
Interpretability and Fairness in Machine Learning: A Formal Methods Approach
IJCAI 2023
Algorithmic Fairness Verification with Graphical Models
AAAI 2022
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
AAAI 2021
A MaxSAT-Based Framework for Group Testing
AAAI 2020