Mohammad Raza

2 papers · 2015–2025 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (10) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

IJCAI (2)

Top co-authors

Natasa Milic-Frayling (2) Sumit Gulwani (1)

Keywords

formal methods (1) automated reasoning (1) large language model (1) reasoning accuracy (1) semantic verification (1) logical solver (1)

Papers

Instantiation-based Formalization of Logical Reasoning Tasks Using Language Models and Logical Solvers IJCAI 2025

Compositional Program Synthesis from Natural Language and Examples IJCAI 2015