Bishwamittra Ghosh
7 papers · 2020–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (15) 🧬 Topic Evolution
🏆
Keyword Champion
(2)
Top co-authors
Research topics
Artificial Intelligence
(5)
Machine Learning
(5)
Core AI
(5)
Application Areas
(4)
Natural Language Processing
(2)
Bayesian & Probabilistic
(2)
Computer Science
(1)
Deep Learning
(1)
Mathematics & Optimization
(1)
Applications
(1)
Core Methods
(1)
Foundations
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Optimization
(1)
Keywords
fairness verification
(2)
algorithmic fairness
(1)
in-context learning
(1)
semantic parsing
(1)
fourier analysis
(1)
formal methods
(1)
formal verification
(1)
machine learning
(1)
knowledge graph
(1)
bayesian network
(1)
graphical model
(1)
inductive bia
(1)
bias mitigation
(1)
group fairness
(1)
formal language
(1)
retrieval-augmented generation
(1)
individual fairness
(1)
statistical parity
(1)
propositional logic
(1)
maxsat solving
(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