هل يمكن الوثوق بالإجابة؟
أدرس هلوسة النماذج اللغوية الكبيرة، وأقيّم المواضع التي تفقد فيها الأنظمة الذكية موثوقيتها.
بحث وهندسة جامعة ولاية آيوا
أنا Anwar Zahid. أدرس كيف ولماذا يخطئ الذكاء الاصطناعي والبرمجيات الحسابية، ثم أبني أدوات تجعل اكتشاف هذه الأعطال وإعادة إنتاجها وإصلاحها أسهل.
موثوقية الذكاء الاصطناعي تصحيح الأخطاء العددية هندسة البرمجيات
## الأخبار · أحدث المستجدات
## نبذة
أُعِدّ أطروحة الدكتوراه في علوم الحاسوب في جامعة ولاية آيوا، بإشراف Wei Le في مختبر Program Analysis and AI Lab. تتركّز أبحاثي على أنظمة الذكاء الاصطناعي الموثوقة، وتصحيح الأخطاء العددية، وتقنيات هندسة البرمجيات لأنظمة تعلّم الآلة.
قبل الدكتوراه، أمضيت أربع سنوات في هندسة البرمجيات على منصات مصرفية وأنظمة للحكومة الإلكترونية والذكاء الاصطناعي وتطبيقات الهاتف المحمول. هذه الخلفية الصناعية هي ما يوجّه طريقتي في البحث: تهمّني الأساليب التي يمكن أن تتحوّل إلى أدوات عملية بين أيدي المطوّرين والباحثين. السيرة الكاملة في صفحة النبذة المفصّلة.
## اهتمامات بحثية
أدرس هلوسة النماذج اللغوية الكبيرة، وأقيّم المواضع التي تفقد فيها الأنظمة الذكية موثوقيتها.
أتتبّع عدم الاستقرار العددي والتراجعات الصامتة في البرمجيات التي يقوم عليها تعلّم الآلة.
أبني أدوات اختبار وتصحيح قابلة للتفسير تساعد الناس على فهم الأعطال وإصلاحها.
## المنشورات
حول موثوقية تعلّم الآلة، وتقييم النماذج اللغوية الكبيرة، والدقة العددية. الأوراق منشورة بالإنجليزية.
تقدّم Soft Assertions، وهي طريقة لاكتشاف أخطاء عدم الاستقرار العددي الخفية في تطبيقات تعلّم الآلة واستثارتها.
@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}
}
تقيّم أداء النماذج اللغوية الكبيرة في كشف خطاب الكراهية عند تزويدها بالسياق الجغرافي والاجتماعي.
@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}
}
تدرس الفروق العددية بين التنفيذ على وحدات معالجة الرسوميات من NVIDIA وAMD، وأثرها في قابلية إعادة الإنتاج والنقل.
@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}
}
تقدّم تصميمًا مفاهيميًا لمنصة برمجية لتقديم التدريب الافتراضي وقياس مهارات تطوير البرمجيات.
@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}
}
## الخبرات
خبرة في البحث العلمي والقطاع المصرفي والحكومة الإلكترونية وبرمجيات الهاتف المحمول.
تدريب بحثي ضمن برنامج الباحثين الزائرين في قسم التوليد وأمراض النساء، للعمل على توسيع قاعدة بيانات بحثية لربط سجلات الأم والجنين.
بناء أدوات لتحليل دقة الفاصلة العائمة عبر معماريات GPU غير المتجانسة، منها توليد شيفرة الواجهة الخلفية HIP لمشروع Varity؛ ونيل تنويه شرفي في LLNL Summer SLAM & Poster Symposium.
العمل على أنظمة تخطيط الموارد والمشتريات والمحاسبة والامتثال للعمليات الحكومية.
بناء روبوت محادثة للتقنية المالية، والتعرّف على الوجوه، وتكامل الحوالات، وأنظمة أتمتة العمليات الروبوتية للعمل المصرفي.
تحسينات على أنظمة Android المخصّصة (ROM) ونظام تشغيل الهواتف الأساسية.
## المشاريع
مشاريع المقررات والمستودعات الأصغر مطويّة في الأسفل.
منصة ويب تساعد طلاب المدارس والجامعات والدراسات العليا — وكل من يهتم بالذكاء الاصطناعي — على العثور على الأدوات المناسبة وتعلّم استخدامها. فكرة المنصة وقيادة تطويرها بإشراف Wei Le.
ورقة في مؤتمر FSE 2025 تقدّم Soft Assertions لاكتشاف أخطاء عدم الاستقرار العددي في تطبيقات تعلّم الآلة واستثارتها.
مساهمة في مشروع Varity التابع لمختبر LLNL بإضافة توليد الواجهة الخلفية HIP لاختبار نوى GPU، بما يتيح تقييم الاتساق العددي بين المنصات.
مشروع مقرر جرى توسيعه لتقييم نماذج كشف خطاب الكراهية باستخدام بيانات وصفية جغرافية، ثم تكييفه لاختبار النماذج اللغوية الكبيرة ونشره في 2025.
نظام آني للتعرّف على الوجوه وكشف الانتحال لتطبيقات التقنية المالية، يعزّز أمان التحقق المصرفي عن بُعد.
## التدريس
المساعدة في التدريس في قسم علوم الحاسوب بجامعة ولاية آيوا، والإسهام في تصميم المقررات ومقدمة البرمجة والذكاء الاصطناعي.
شاركت في تصميم مقررَي COMS 3710X: Introduction to Foundation Models I و COMS 3720X: Introduction to Foundation Models II مع Wei Le و Qi Li في قسم علوم الحاسوب.
تدريس حصص المختبر والتمارين لمقرر COM S 127 (مقدمة في البرمجة) — إدارة المختبرات الأسبوعية، وإعداد مواد المقرر والتقييم، وتصميم معايير التصحيح، وتصحيح الواجبات والامتحانات.
إلقاء محاضرات في مقرر COM S 472/572 (Principles of Artificial Intelligence) نيابةً عن Jin Tian قبل مغادرة القسم، وعن Yan-Bin Jia.
## مقالات
المقالات نفسها مكتوبة بالإنجليزية.
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.
## تواصل
أسرع طريقة للوصول إليّ هي البريد الإلكتروني.