
Sumit Kumar Jha
Eminent Scholar Chair Professor of Computer Science
Research Interests
Research Support & Collaborations
Research supported by prestigious institutions including the Air Force Office of Scientific Research (AFOSR), Air Force Research Laboratory (AFRL), Defense Advanced Research Project Agency (DARPA), Department of Energy (DOE), Florida Center for Cybersecurity, National Geospatial Intelligence Agency (NGA), National Nuclear Security Administration (NNSA), National Science Foundation (NSF), Oak Ridge National Laboratory (ORNL), Office of Naval Research (ONR), Royal Bank of Canada, and Texas STARs Award.
Research Areas
My research focuses on three interconnected areas that advance the frontiers of artificial intelligence.
Interpretability of AI
Developing methods to understand and explain LLMs, VLMs, and neural networks. Research includes metric-driven attributions for Vision Transformers, information flow analysis, integrated decision gradients, and neural stochastic differential equations for robust AI explanations.
Control of AI Systems
Developing methods to control and verify AI systems through formal synthesis and dehallucination techniques. Research includes LLM dehallucination using formal methods, neuro-symbolic AI, functor-based reasoning, and category theory applications for reliable AI systems.
Robust & Efficient AI
Building efficient and resilient AI systems through novel architectures and adversarial defenses. Research includes efficient transformer attention mechanisms, flow-based computing circuits, adversarial attack detection using attribution analysis, and logic synthesis for in-memory computing.
Selected Publications
Recent publications in top-tier conferences and journals focusing on Interpretability of AI, Control of AI Systems, and Robust & Efficient AI.
Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
William H. English, Dominic Simon, Sumit Kumar Jha, and Rickard Ewetz
In Proceedings of the 42nd International Conference on Machine Learning, ICML 2025
Metric-Driven Attributions for Vision Transformers
Chase Walker, Sumit Kumar Jha, and Rickard Ewetz
In The Thirteenth International Conference on Learning Representations, ICLR
Explaining ViTs Using Information Flow
Chase Walker, Md Rubel Ahmed, Sumit Kumar Jha, and Rickard Ewetz
In The 28th International Conference on Artificial Intelligence and Statistics, AISTATS
LOGIC: Logic Synthesis for Digital In-Memory Computing
Muhammad Rashedul Haq, Sven Thijssen, Sumit Kumar Jha, and Rickard Ewetz
Transactions on Design Automation of Electronic Systems
Integrated Decision Gradients: Compute Your Attributions Where the Model Makes Its Decision
Chase Walker, Sumit Kumar Jha, Kenny Chen, and Rickard Ewetz
In Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024
Latest News
Recent updates on publications, awards, and research activities.
FIU Top Scholar Award 2024-2025
Sumit Jha has been awarded the FIU Top Scholar Award for 2024-2025, recognizing outstanding research contributions.
Contact Information
Get in touch for research collaborations, student opportunities, or academic inquiries.
Office
384 CASE Building
Florida International University
Address
11200 SW 8th Street
Miami, FL 33199
Office Hours
Tuesday 11:00 AM - 1:00 PM
and by appointment
Research Opportunities
I'm always interested in collaborating with motivated students and researchers. If you're interested in Interpretability of AI, Control of AI Systems, or Robust & Efficient AI, feel free to reach out.
Send Email