FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen.
VLDB (Very Large Databases) | 2024
My interests are in the fields of AI and symbolic methods, with the goal of helping users perform complex tasks through natural interaction experiences such as providing examples, natural language instructions, multi-modal inputs, or fully automatic suggestions. My research spans a range of techniques from formal methods and machine learning, with a strong focus recently on neuro-symbolic program synthesis methods using large language models. I have led the development and productization of such techniques for task automation in a variety of domains including data science, business intelligence, office productivity, and code editing. This work has had to both practical impact in mass-market products (including Microsoft Power BI, Visual Studio Code and Excel) as well as publications in major research conferences.
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Elnaz Nouri, Mohammad Raza, Gust Verbruggen.
VLDB (Very Large Databases) | 2024
Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari
SIGMOD (Special Interest Group on Management of Data) | 2023
Mukul Singh, José Cambronero, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, Gust Verbruggen
VLDB (Very Large Databases) | 2023
Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltos Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari
OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) | 2022
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
PLDI (Programming Language Design and Implementation) | 2022
Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Dan Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari
OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) | 2021
Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza
OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) | 2020
Mohammad Raza, Sumit Gulwani
SIGMOD (Special Interest Group on Management of Data) | 2020
Mohammad Raza, Sumit Gulwani
AAAI (Association for Advancement of Artificial Intelligence) | 2018
Vu Le, Daniel Perelman, Alex Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
arXiv preprint | March 2017, Vol arXiv:1703.03539
Mohammad Raza, Sumit Gulwani
AAAI (Association for Advancement of Artificial Intelligence) | 2017
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
IJCAI (International Joint Conference on Artificial Intelligence) | 2015
Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani
CHI (Conference on Human Factors in Information Systems) | 2015
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
AAAI (Association for Advancement of Artificial Intelligence) | 2014
Mohammad Raza
PhD Thesis: Imperial College London | 2010
Mohammad Raza, Cristiano Calcagno, Philippa Gardner
European Symposium on Programming | 2009
Mohammad Raza, Philippa Gardner
Logical Methods in Computer Science | 2009
Mohammad Raza, Philippa Gardner
Foundations of Software Science and Computational Structures | March 2008
Notifications