Mohammad Raza

29 papers A* 7A 1B 1Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Do I Really Know? Learning Factual Self-Verification for Hallucination Reduction.
CoRR
Enes Altinisik, Masoomali Fatehkia, Fatih Deniz, Nadir Durrani, Majd Hawasly, Mohammad Raza, Husrev Taha Sencar
2026 J jnl
SpatiaLab: Can Vision-Language Models Perform Spatial Reasoning in the Wild?
CoRR
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
2025 A* conf
Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers.
IJCAI
Mohammad Raza, Natasa Milic-Frayling
2025 J jnl
Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers.
CoRR
Mohammad Raza, Natasa Milic-Frayling
2023 J jnl
CORNET: Learning Table Formatting Rules By Example.
Proc. VLDB Endow.
Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
2023 — conf
CoWrangler: Recommender System for Data-Wrangling Scripts.
SIGMOD Conference Companion
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
2023 J jnl
FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language.
Proc. VLDB Endow.
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen
2023 J jnl
From Words to Code: Harnessing Data for Program Synthesis from Natural Language.
CoRR
Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, K. Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari
2022 J jnl
CORNET: A neurosymbolic approach to learning conditional table formatting rules by example.
CoRR
Mukul Singh, José Pablo Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
2022 J jnl
Landmarks and Regions: A Robust Approach to Data Extraction.
CoRR
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
2022 A* conf
Landmarks and regions: a robust approach to data extraction.
PLDI
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
2022 J jnl
Overwatch: Learning Patterns in Code Edit Sequences.
CoRR
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2022 J jnl
Overwatch: learning patterns in code edit sequences.
Proc. ACM Program. Lang.
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
2021 J jnl
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis.
CoRR
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2021 J jnl
Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis.
Proc. ACM Program. Lang.
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
2020 J jnl
Structure interpretation of text formats.
Proc. ACM Program. Lang.
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
2020 — conf
Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference.
SIGMOD Conference
Mohammad Raza, Sumit Gulwani
2018 A* conf
Disjunctive Program Synthesis: A Robust Approach to Programming by Example.
AAAI
Mohammad Raza, Sumit Gulwani
2017 A* conf
Automated Data Extraction Using Predictive Program Synthesis.
AAAI
Mohammad Raza, Sumit Gulwani
2017 J jnl
Interactive Program Synthesis.
CoRR
Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
2016 — conf
Greenness Link State Advertisement Extension for WDM Networks.
FNC/MobiSPC
Alireza Nafarieh, Yashar Fazili, Mohammad Raza, William Robertson
2015 A* conf
Compositional Program Synthesis from Natural Language and Examples.
IJCAI
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
2015 A* conf
Mixed-Initiative Approaches to Global Editing in Slideware.
CHI
Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani
2014 A* conf
Programming by Example Using Least General Generalizations.
AAAI
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
2010 — conf
Protein-protein interaction prediction using desolvation energies and interface properties.
BIBM
Luis Rueda, Sridip Banerjee, Md. Mominul Aziz, Mohammad Raza
2010 — —
Resource Reasoning and Labelled Separation Logic.
Mohammad Raza
2009 A conf
Automatic Parallelization with Separation Logic.
ESOP
Mohammad Raza, Cristiano Calcagno, Philippa Gardner
2009 J jnl
Footprints in Local Reasoning
Log. Methods Comput. Sci.
Mohammad Raza, Philippa Gardner
2008 B conf
Footprints in Local Reasoning.
FoSSaCS
Mohammad Raza, Philippa Gardner