Kartikey Sharma

I am interested in the theory and applications of robust optimization. More recently, I have also developed in interest in machine learning especially its theoretical aspects and how it can be used for scaling optimization algorithms.

📬 Contact

office
Room 3027 at ZIB
e-mail
homepage
kartikeyrinwa.github.io
languages
Hindi and English

🎓 Curriculum vitae

since 2020
Researcher at ZIB
Feb 2020
Ph.D. in Industrial Engineering at Northwestern
Jul 2015
M.Sc. in Industrial Engineering at Northwestern
May 2014
B.Tech. in Process Engineering at IITR

📝 Publications and preprints

Preprints

  1. Göß, A., Martin, A., Pokutta, S., and Sharma, K. (2024). Norm-induced Cuts: Optimization with Lipschitzian Black-box Functions. [URL] [arXiv]
    [BibTeX]
    @misc{gmps_nic_23,
      url = {https://opus4.kobv.de/opus4-trr154/files/518/nic_preprint.pdf},
      archiveprefix = {arXiv},
      eprint = {2403.11546},
      primaryclass = {math.OC},
      year = {2024},
      author = {Göß, Adrian and Martin, Alexander and Pokutta, Sebastian and Sharma, Kartikey},
      title = {Norm-induced Cuts: Optimization with Lipschitzian Black-box Functions}
    }

Conference proceedings

  1. Sharma, K., Hendrych, D., Besançon, M., and Pokutta, S. (2024). Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe. Proceedings of INFORMS Optimization Society Conference. [arXiv]
    [BibTeX]
    @inproceedings{SharmaNetworkDesignTrafficFrankWolfe24,
      year = {2024},
      booktitle = {Proceedings of INFORMS Optimization Society Conference},
      archiveprefix = {arXiv},
      eprint = {2402.00166},
      primaryclass = {math.OC},
      author = {Sharma, Kartikey and Hendrych, Deborah and Besançon, Mathieu and Pokutta, Sebastian},
      title = {Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe}
    }
  2. Wäldchen, S., Sharma, K., Turan, B., Zimmer, M., and Pokutta, S. (2024). Interpretability Guarantees with Merlin-Arthur Classifiers. Proceedings of International Conference on Artificial Intelligence and Statistics. [arXiv]
    [BibTeX]
    @inproceedings{wszp_merlinarthur_22,
      year = {2024},
      booktitle = {Proceedings of International Conference on Artificial Intelligence and Statistics},
      archiveprefix = {arXiv},
      eprint = {2206.00759},
      primaryclass = {cs.LG},
      author = {Wäldchen, Stephan and Sharma, Kartikey and Turan, Berkant and Zimmer, Max and Pokutta, Sebastian},
      title = {Interpretability Guarantees with Merlin-Arthur Classifiers}
    }

Full articles

  1. Kevin-Martin, A., Bärmann, A., Braun, K., Liers, F., Pokutta, S., Schneider, O., Sharma, K., and Tschuppik, S. (2023). Data-driven Distributionally Robust Optimization Over Time. INFORMS Journal on Optimization. [arXiv]
    [BibTeX]
    @article{abblpsst_distributionally_ro_23,
      year = {2023},
      journal = {INFORMS Journal on Optimization},
      archiveprefix = {arXiv},
      eprint = {2304.05377},
      primaryclass = {math.OC},
      author = {Kevin-Martin, Aigner and Bärmann, Andreas and Braun, Kristin and Liers, Frauke and Pokutta, Sebastian and Schneider, Oskar and Sharma, Kartikey and Tschuppik, Sebastian},
      title = {Data-driven Distributionally Robust Optimization Over Time}
    }
  2. Kruser, J., Sharma, K., Holl, J., and Nohadani, O. (2023). Identifying Patterns of Medical Intervention in Acute Respiratory Failure: A Retrospective Observational Study. Critical Care Explorations.
    [BibTeX]
    @article{kshn_identifying_23,
      year = {2023},
      journal = {Critical Care Explorations},
      author = {Kruser, Jacqueline and Sharma, Kartikey and Holl, Jane and Nohadani, Omid},
      title = {Identifying Patterns of Medical Intervention in Acute Respiratory Failure: A Retrospective Observational Study}
    }
  3. Kossen, T., Hirzel, M. A., Madai, V. I., Boenisch, F., Hennemuth, A., Hildebrand, K., Pokutta, S., Sharma, K., Hilbert, A., Sobesky, J., Galinovic, I., Khalil, A. A., Fiebach, J. B., and Frey, D. (2022). Towards Sharing Brain Images: Differentially Private TOF-MRA Images with Segmentation Labels Using Generative Adversarial Networks. Frontiers in Artificial Intelligence. DOI: 10.3389/frai.2022.813842
    [BibTeX]
    @article{khmbhhpshsgkff_22,
      year = {2022},
      journal = {Frontiers in Artificial Intelligence},
      doi = {10.3389/frai.2022.813842},
      author = {Kossen, Tabea and Hirzel, Manuel A. and Madai, Vince I. and Boenisch, Franziska and Hennemuth, Anja and Hildebrand, Kristian and Pokutta, Sebastian and Sharma, Kartikey and Hilbert, Adam and Sobesky, Jan and Galinovic, Ivana and Khalil, Ahmed A. and Fiebach, Jochen B. and Frey, Dietmar},
      title = {Towards Sharing Brain Images: Differentially Private TOF-MRA Images with Segmentation Labels Using Generative Adversarial Networks}
    }
  4. Nohadani, O., and Sharma, K. (2022). Optimization Under Connected Uncertainty. INFORMS Journal on Optimization. DOI: 10.1287/ijoo.2021.0067
    [BibTeX]
    @article{nk_connected_un_22,
      year = {2022},
      journal = {INFORMS Journal on Optimization},
      doi = {10.1287/ijoo.2021.0067},
      author = {Nohadani, Omid and Sharma, Kartikey},
      title = {Optimization Under Connected Uncertainty}
    }

🔬 Projects

Decomposition Methods for Mixed-integer Optimal Control

In this project, we study domain decomposition approaches for optimal control in gas transport networks. Our goal is to couple space-time-domain decomposition with machine learning and mixed-integer programming. We will develop NeTI (Network Tearing and Interconnection), a data-driven and physics-informed algorithm combining mixed-integer nonlinear programming, surrogate model learning, and graph decomposition strategies.

TRR-154 A05
Jan 2022 to Jun 2026
3
2

Expanding Merlin-Arthur Classifiers: Interpretable Neural Networks Through Interactive Proof Systems

Existing approaches for interpreting Neural Network classifiers that highlight features relevant for a decision are based solely on heuristics. We introduce a theory that allows us to bound the quality of the features without assumptions on the classifier model by relating classification to Interactive Proof Systems.

MATH+ EF1-24
Apr 2023 to Mar 2026
4
2

💬 Talks and posters

Conference and workshop talks

Mar 2024
Traffic Assignment and Network Design
ios Conference, Houston, TX [PDF]
Oct 2023
Data-driven Distributionally Robust Optimization Over Time
INFORMS Conference, Phoenix [PDF]
Aug 2023
Traffic Assignment and Network Design
OR Conference, Hamburg [PDF]
Mar 2023
Traffic Assignment and Network Design
Optimization and ML Workshop, Waischenfeld
Oct 2022
Fast Robust Classifiers for Data Streams
INFORMS Conference, Indianapolis [PDF]
View More / Less
Sep 2022
Merlin-Arthur Classifiers: Formal Interpretability with Interactive Black Boxes
DMV Annual Meeting, Berlin [PDF]
Jul 2022
Distributionally Robust Optimization Over Time
7th ICCOPT Conference, Bethlehem [PDF]
Jun 2022
Dynamic Capacity Management for Deferred Surgeries
MSOM Conference, Munich [PDF]
Oct 2021
Dynamic Capacity Management for Deferred Surgeries
INFORMS Conference, Online [PDF]
Oct 2019
Decision Dependent Uncertainty with Uncertain Reduction
INFORMS Conference, Seattle [PDF]
Nov 2018
Optimization Under Connected Uncertainty
INFORMS Conference, Phoenix [PDF]
Jul 2018
Optimization Under Decision Dependent Uncertainty
23rd ISMP Conference, Bordeaux [PDF]
Oct 2017
Optimization Under Connected Uncertainty
INFORMS Technical, Houston [PDF]
Jul 2017
Optimization Under Decision Dependent Uncertainty
IFORS, Québec City, Canada [PDF]
May 2017
Optimization Under Decision Dependent Uncertainty
NEMFEST, Atlanta, USA [PDF]
Nov 2016
Optimization Under Decision Dependent Uncertainty
INFORMS Conference, Nashville [PDF]

Research seminar talks

Jul 2023
Data-driven Distributionally Robust Optimization Over Time
, Passau [PDF]
Dec 2022
Dynamic Capacity Management for Deferred Surgeries
MATH+ Spotlight Seminar, Berlin [PDF]

👨‍🏫Teaching

summer 2024
Lecturer for Optimization under Uncertainty at TUB

📝 Organization and outreach

2023
Member of the organizing committee of the MATH+ Thematic Einstein Semester in Berlin
2024
Member of the organizing committee of the BMS-BGSMath Junior Meeting in Berlin
2024
Presenting GPT enabled interactive robot at LNdW at ZIB