Author

S. Motwani

h-index 8 View on Semantic Scholar

We have 2 of 17 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#machine learning Review Mar 2026

Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification

HorizonMath, a benchmark of 113 predominantly unsolved problems spanning eight domains in mathematics and the mathematical sciences, paired with an open-source evaluation framework for automated verification, is introduced, identifying six novel solutions to research problems that either resolve previously open questio...

Erik Y. Wang, S. Motwani, J. Roggeveen et al. · 6 citations

#artificial intelligence Preprint Apr 2026

AutoOR: Scalably Post-training LLMs to Autoformulate Operations Research Problems

This work presents AutoOR, a scalable synthetic data generation and reinforcement learning pipeline that trains LLMs to autoformulate optimization problems specified in natural language across linear, mixed-integer, and non-linear categories and introduces a curriculum RL strategy that bootstraps from limited initial t...

S. Motwani, Chuan Du, A. Petrov et al. · 2 citations