Preprints
Exact Verification of First-Order Methods via Mixed-Integer Linear Programming.
V. Ranjan, S. Gualandi, A. Lodi, and B. Stellato.
arXiv e-prints:2412.11330, 2024.
In review in The 26th Conference on Integer Programming and Combinatorial Optimization.
Paper. Code.
Verification of First-Order Methods for Parametric Quadratic Optimization.
V. Ranjan, B. Stellato.
arXiv e-prints:2403.03331, 2024.
In review in Mathematical Programming.
Paper. Code.
Publications
Time to Leave the Louvre: A Computational Network Analysis.
V. Ranjan, J. Ryang, and A. Xue.
The Journal of Undergraduate Mathematics and Its Applications, 40.2-3 (2019), pp.135-160.
2019 COMAP Mathematical Contest in Modeling/Interdisciplinary Contest in Modeling (MCM/ICM), Outstanding solution (top 7 of 5000+ for chosen problem).
Earned the Leonard Euler Award for excellence in modeling and $10000 COMAP scholarship.
Also awarded the Karl Menger Award from Duke Math dept. for excellence in mathematical competitions.
Block size in Geometric(p)-biased permutations.
I. Cristali, V. Ranjan, J. Steinberg, E. Beckman, R. Durrett, M. Junge, and J. Nolen.
Electronic Communications in Probability, 23 (2018), paper no. 80, pp.10.
doi:10.1214/18-ECP182
Paper.
An Analysis of the Impact of Self-Driving Cars on Traffic Conditions.
V. Ranjan, J. Ryang, and K. Zhang.
SIAM Undergraduate Research Online, 11 (2018).
doi:10.1137/17S015768
Paper.