← Search

Mohammad Raza

3 accepted papers

2026

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

ICLR 2026poster

Spatial reasoning is a fundamental aspect of human cognition, yet it remains a major challenge for contemporary vision–language models (VLMs). Prior work largely relied on synthetic or LLM-generated environments with limited task designs and puzzle-like setups, failing to capture the real-world comp…

Cited by 0SourcecodeScholar
2026

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification

ICML 2026poster

Natural language interfaces can greatly benefit the accessibility and usability of optimization modeling, and recent advances in large language models (LLMs) show promise in automatically translating textual problem descriptions into executable solver formulations. However, a key challenge for exist…

Cited by 0SourceScholar
2025

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

IJCAI 2025

Robustness of reasoning remains a significant challenge for large language models, and addressing it is essential for the practical applicability of AI-driven reasoning systems. We introduce Semantic Self-Verification (SSV), a novel approach that addresses the key challenge in combining language mod