Mohammed Abuhamad

Identifiers

• name variant Mohammed Abuhamad 0.60 · backfill

Papers (3)

1. TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation cs.SE · 2026 · author #8
2. Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation cs.AI · 2026 · author #8
3. Detecting LGBTQ+ Instances of Cyberbullying cs.LG · 2024 · author #3

Mentions

• 2409.12263 #3 · arxiv_oai · confidence 0.70 Mohammed Abuhamad
• 2606.06133 #8 · arxiv_oai · confidence 0.70 Mohammed Abuhamad
• 2606.05792 #8 · arxiv_oai · confidence 0.70 Mohammed Abuhamad

Frequent Coauthors

• Arslan Bisharat 3 shared papers
• Brian Ortiz 2 shared papers
• Eric Spencer 2 shared papers
• George K. Thiruvathukal 2 shared papers
• Khushboo Bhadauria 2 shared papers
• Konstantin Laufer 2 shared papers
• TaiNing Wang 2 shared papers
• Deborah L. Hall 1 shared papers
• Manuel Sandoval Madrigal 1 shared papers
• Yasin N. Silva 1 shared papers