Raza, Mohammad

5 publications

IJCAI 2025 Instantiation-Based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers Mohammad Raza, Natasa Milic-Frayling

AAAI 2018 Disjunctive Program Synthesis: A Robust Approach to Programming by Example Mohammad Raza, Sumit Gulwani

AAAI 2017 Automated Data Extraction Using Predictive Program Synthesis Mohammad Raza, Sumit Gulwani

IJCAI 2015 Compositional Program Synthesis from Natural Language and Examples Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling

AAAI 2014 Programming by Example Using Least General Generalizations Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling