Can we trust the answer?
Studying LLM hallucination and evaluating where intelligent systems lose their reliability.
Researcher & engineer Iowa State University
I’m Anwar Zahid. I study how AI and numerical software fail, then build tools to make those failures easier to detect, reproduce, and fix.
AI reliability Numerical debugging Software engineering
## News · recent log
## About
I am a Ph.D. student in Computer Science at Iowa State University, advised by Prof. Wei Le in the Program Analysis and AI Lab. My research focuses on reliable AI systems, numerical debugging, and software engineering techniques for machine learning systems.
Before starting my Ph.D., I spent four years as a software engineer on banking, e-governance, AI, and mobile platforms. That industry background shapes how I approach research: I care about methods that can become practical tools for developers and researchers. A fuller timeline is on the extended about page.
## Research interests
Studying LLM hallucination and evaluating where intelligent systems lose their reliability.
Tracing numerical instability and silent regressions through the software that powers machine learning.
Building interpretable testing and debugging tools that help people understand and fix failures.
## Publications
On ML reliability, LLM evaluation, and numerical correctness.
Introduces Soft Assertions, a method for detecting and triggering hidden numerical instability bugs in machine learning applications.
@article{sharmin2025softassertions,
title = {Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions},
author = {Sharmin, Shaila and Zahid, Anwar Hossain and Bhattacharjee, Subhankar and Igwilo, Chiamaka and Kim, Miryung and Le, Wei},
journal = {Proceedings of the ACM on Software Engineering (PACMSE), issue FSE 2025},
year = {2025},
doi = {10.1145/3729394},
url = {https://arxiv.org/pdf/2504.15507}
}
Evaluates how large language models perform on hate speech detection when geographic and social context are included.
@misc{zahid2025hatespeech,
title = {Evaluation of Hate Speech Detection Using Large Language Models and Geographical Contextualization},
author = {Zahid, Anwar Hossain and Roy, Monoshi Kumar and Das, Swarna},
year = {2025},
eprint = {2502.19612},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2502.19612}
}
Studies numerical differences between NVIDIA and AMD GPU executions and their implications for reproducibility and portability.
@misc{zahid2024gpunumerics,
title = {Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs},
author = {Zahid, Anwar Hossain and Laguna, Ignacio and Le, Wei},
year = {2024},
eprint = {2410.09172},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2410.09172}
}
Presents a conceptual software platform for virtual internship delivery and software development skill benchmarking.
@inproceedings{mia2020virtualinternship,
title = {A Conceptual Design of Virtual Internship System to Benchmark Software Development Skills in a Blended Learning Environment},
author = {Mia, Raihan and Zahid, Anwar Hossain and Nath, Bipul Chandra Dev and Hoque, Abu Sayed Md Latiful},
booktitle = {2020 23rd International Conference on Computer and Information Technology (ICCIT)},
year = {2020},
publisher = {IEEE},
doi = {10.1109/ICCIT51783.2020.9392670},
url = {https://ieeexplore.ieee.org/document/9392670}
}
## Experience
Experience across research, banking, e-governance, and mobile software.
Research internship through the visiting scholar program in the Department of Obstetrics and Gynecology, working on Research Database Expansion for Maternal-Fetal Record Linkage.
Built tooling for cross-platform floating-point precision analysis across heterogeneous GPU architectures, including HIP backend code generation for the Varity project; earned an Honorable Mention at the LLNL Summer SLAM & Poster Symposium.
Worked on ERP, procurement, accounting, and compliance systems for government operations.
Built a FinTech chatbot, face recognition, remittance integration, and RPA systems for banking workflows.
Developed Android ROM and feature-phone OS enhancements for consumer devices.
## Projects
Coursework and smaller repositories are collapsed below.
A web platform that helps K-12, undergraduate, and graduate learners — and anyone curious about AI — discover the right AI tools and learn to use them, built as Creator & Lead Developer under the direction of Prof. Wei Le.
FSE 2025 paper introducing Soft Assertions to detect and trigger numerical instability bugs in ML applications.
Contributed to the LLNL Varity project by implementing HIP backend generation for GPU kernel testing, enabling cross-platform numerical consistency evaluation.
Extended a class project to evaluate hate speech detection models using geographical metadata. Later adapted for large language model testing and published in 2025.
Developed a real-time face recognition and spoof detection system for FinTech applications, enhancing security for remote banking verification.
## Teaching
Teaching assistant in the Department of Computer Science at Iowa State University, contributing to course design, introductory programming, and artificial intelligence.
Helped design COMS 3710X: Introduction to Foundation Models I and COMS 3720X: Introduction to Foundation Models II with Prof. Wei Le and Prof. Qi Li in the Department of Computer Science.
Taught the lab and recitation sections for COM S 127 (introductory programming) — running weekly labs, developing course and assessment materials, designing grading rubrics, and grading assignments and exams.
Delivered lectures for COM S 472/572 (Principles of Artificial Intelligence), covering for Prof. Jin Tian before he left the department and for Prof. Yan-Bin Jia.
## Writing
Academic papers are necessarily compressed. They describe the method, the evaluation, and the result, but they often leave out the messy middle: why a test design chan...
In our FSE 2025 paper, we introduce Soft Assertions — a new approach to detect and trigger these hidden bugs automatically.
Our SC24-W workshop paper presents a systematic method to detect and analyze these cross-vendor numerical differences.
## Contact
The fastest way to reach me is email.