Scholar
Mohammed Abuhamad
Google Scholar ID: V7FWdNoAAAAJ
Loyola University Chicago
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,296
H-index
17
i10-index
25
Publications
20
Co-authors
13
list available
Publications
6 items
TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation
2026
Cited
0
SPILLOVER: Measuring Cyberbullying NormPropagation on Social Media
2026
Cited
0
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
2026
Cited
0
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
2026
Cited
0
Attacking interpretable NLP systems
2025
Cited
0
Breaking the Illusion of Security via Interpretation: Interpretable Vision Transformer Systems under Attack
2025
Cited
0
Co-authors
6 total
Tamer ABUHMED
College of Computing and Informatics, Sungkyunkwan University
DaeHun Nyang
Ewha Womans University
David Mohaisen
Professor of Computer Science, University of Central Florida
Afsah Anwar
University of New Mexico
Rhongho Jang
Wayne State University
Saeed Salem
Professor of Computer Science and Engineering, Qatar University
