Mohammad Raza

Principal Researcher, QCRI, Hamad Bin Khalifa University

Joined

July 2019

Names

Mohammad Raza

Emails

****@microsoft.com (Confirmed)

****@yahoo.com (Confirmed)

****@hbku.edu.qa (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

Principal Researcher

QCRI, Hamad Bin Khalifa University (hbku.edu.qa)

2024 – Present

Principal Researcher

Microsoft (microsoft.com)

2010 – 2023

PhD student

Imperial College London (imperial.edu)

2006 – 2010

Advisors, Relations & Conflicts

PhD Advisor

Philippa Gardner

2006 – 2010

Expertise

logic and formal methods

2010 – 2026

automated reasoning and theorem proving

2010 – 2026

automated reasoning

program synthesis

2010 – 2026

Publications

SpatiaLab: Can Vision–Language Models Perform Spatial Reasoning in the Wild?
Azmine Toushik Wasi, Wahid Faisal, Abdur Rahman, Mahfuz Ahmed Anik, Munem Shahriar, Mohsin Mahmud Topu, Sadia Tasnim Meem, Rahatun Nesa Priti, Sabrina Afroz Mitu, Md. Iqramul Hoque, Shahriyar Zaman Ridoy, Mohammed Eunus Ali, Majd Hawasly, Mohammad Raza, Md Rizwan Parvez
- ICLR 2026 Poster
- Readers: Everyone
When Two is Enough: CoT–PoT Ensembling for Efficient Self-Consistency in LLM Reasoning
Raman Saparkhan, Majd Hawasly, Md Rizwan Parvez, Mohammad Raza
- ICLR 2026 Conference Withdrawn Submission
- Readers: Everyone
Almost Sure Reasoning: Generating Verified Formalizations with Language Models and Logical Solvers
Mohammad Raza, Natasa Milic-Frayling
- Submitted to ICLR 2025
- Readers: Everyone
Disjunctive Program Synthesis: A Robust Approach to Programming by Example
Mohammad Raza, Sumit Gulwani
- 2018 (modified: 02 Mar 2020)
- AAAI 2018
- Readers: Everyone
Automated Data Extraction Using Predictive Program Synthesis
Mohammad Raza, Sumit Gulwani
- 2017 (modified: 02 Mar 2020)
- AAAI 2017
- Readers: Everyone
Compositional Program Synthesis from Natural Language and Examples
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
- 2015 (modified: 16 Jul 2019)
- IJCAI 2015
- Readers: Everyone
Programming by Example Using Least General Generalizations
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
- 2014 (modified: 16 Jul 2019)
- AAAI 2014
- Readers: Everyone

Mohammad Raza

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

SpatiaLab: Can Vision–Language Models Perform Spatial Reasoning in the Wild?

When Two is Enough: CoT–PoT Ensembling for Efficient Self-Consistency in LLM Reasoning

Almost Sure Reasoning: Generating Verified Formalizations with Language Models and Logical Solvers

Disjunctive Program Synthesis: A Robust Approach to Programming by Example

Automated Data Extraction Using Predictive Program Synthesis

Compositional Program Synthesis from Natural Language and Examples

Programming by Example Using Least General Generalizations

Co-Authors