Jisun Park

Postdoc at Princeton ORFE

PREPRINTS

  • V. Ranjan, J. Park, S. Gualandi, A. Lodi, and B. Stellato. Exact Verification of First-Order Methods via Mixed-Integer Linear Programming. arXiv e-prints:2412.11330, 2024. [arXiv]

CONFERENCE PAPERS

  • O. Press et al. AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs? Neural Information Processing Systems (NeurIPS), 2025. [arXiv]

  • J. J. Suh, J. Park, and E. K. Ryu. Continuous-time Analysis of Anchor Acceleration. Neural Information Processing Systems (NeurIPS), 2023. [arXiv]

  • J. Park, and E. K. Ryu. Accelerated Infeasibility Detection of Constrained Optimization and Fixed-Point Iterations. International Conference on Maching Learning (ICML), 2023. [PMLR]

  • J. Park, and E. K. Ryu. Exact Optimal Accelerated Complexity for Fixed-Point Iterations. International Conference on Machine Learning (ICML), 2022. (Long talk, top 118/5630=2% of papers) [PMLR] [arXiv]

JOURNAL PUBLICATIONS

  • J. Paeng, J. Park, and E. K. Ryu. Coordinate-Update Algorithms can Efficiently Detect Infeasible Optimization Problems. Jounal of Mathematical Analysis and Applications (JMAA), 2025. [Elsevier]

  • C. Park, J. Park, and E. K. Ryu. Factor-\sqrt{2} Acceleration of Accelerated Gradient Methods. Applied Mathematics & Optimization, 2023. [Springer]