Publications

633 citations ยท h-index 12 (Google Scholar, Oct 2026)

Full list of publications in reverse chronological order. For live citation metrics, see my Google Scholar profile.

Maor Ben-Shahar, Jonathan Morag, Dirk Englund, Kfir Sulimany (2026). Quantum Cryptography and Autoformalization in Lean. arXiv preprint arXiv:2610.17286.
arXiv Lean documentation Lean library Agentic framework (loopy)
Uri Kol, Maor Ben-Shahar, Kfir Sulimany, Dirk Englund (2026). A machine-verified proof of a quantum-optimization conjecture. arXiv preprint.
arXiv Lean library
Amit Kam, Kfir Sulimany, Shai Tsesses, Uzi Pereg (2026). Reduced-state embedding for quantum cryptography. Newton, 100597 (2026).
arXiv DOI
Zhihui Gao, Sri Vadlamani, Kfir Sulimany, Dirk Englund, Tingjun Chen (2026). Disaggregated machine learning via in-physics computing at radio frequency. Science Advances.
Kfir Sulimany, Sri Vadlamani, Ryan Hamerly, Prahlad Iyengar, Dirk Englund (2025). Quantum-secure multiparty deep learning. Physical Review X.
arXiv MIT News Tech Briefs DOI
Benjamin Breen, Marco Del Tredici, Jacob McCarran, Javier Aspuru Mijares, Weichen Winston Yin, Kfir Sulimany, Jacob M. Taylor, Frank H. L. Koppens, Dirk Englund (2025). Ax-Prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics. arXiv preprint.
arXiv
Yuval Bloom, Yoad Ordan, Tamar Levin, Kfir Sulimany, Eric G. Bowes, Jennifer A. Hollingsworth, Ronen Rapaport (2025). Decoy state and purification protocols for superior quantum key distribution with imperfect quantum-dot based single photon sources. PRX Quantum.
arXiv DOI
Sri Vadlamani, Kfir Sulimany, Zhihui Gao, Tingjun Chen, Dirk Englund (2025). Machine intelligence on wireless edge networks. arXiv preprint.
arXiv
Kfir Sulimany, Guy Pelc, Rom Dudkiewicz, Shimshon Korenblit, Hagai Eisenberg, Yaron Bromberg, Michael Ben-Or (2025). High-dimensional coherent one-way quantum key distribution. npj Quantum Information.
arXiv DOI
Marc Gong Bacvanski, Sri Vadlamani, Kfir Sulimany, Dirk Englund (2024). QAMNet: Fast and efficient optical QAM neural networks. arXiv preprint.
arXiv
Dotan Halevi, Ben Lubotzky, Kfir Sulimany, Eric G. Bowes, Jennifer A. Hollingsworth, Yaron Bromberg, Ronen Rapaport (2024). High-dimensional quantum key distribution using orbital angular momentum of single photons from a colloidal quantum dot at room temperature. Optica Quantum.
arXiv DOI
Ohad Lib, Kfir Sulimany, Mateus Araujo, Michael Ben-Or, Yaron Bromberg (2024). High-dimensional quantum key distribution using a multi-plane light converter. Optica Quantum 3(2), 182 (2025).
arXiv DOI
Kfir Sulimany, Dotan Halevi, Omri Gat, Yaron Bromberg (2024). Bandwidth-induced saturation in multimode fiber-based absorbers. Optics Letters.
arXiv DOI
Ronen Shekel, Kfir Sulimany, Shachar Resisi, Zohar Finkelstein, Ohad Lib, Sebastien Popoff, Yaron Bromberg (2023). Tutorial: How to build and control an all-fiber wavefront modulator using mechanical perturbations. Journal of Physics: Photonics.
arXiv DOI
Kfir Sulimany, Offek Tziperman, Yaron Bromberg, Omri Gat (2022). Soliton pair dynamical transition in mode-locked lasers. Optica.
arXiv DOI
Zohar Finkelstein, Kfir Sulimany, Shachar Resisi, Yaron Bromberg (2022). Spectral shaping in a multimode fiber by all-fiber modulation. APL Photonics.
arXiv DOI
Ohad Lib, Kfir Sulimany, Yaron Bromberg (2022). Processing entangled photons in high dimensions with a programmable light converter. Physical Review Applied.
arXiv DOI
Kfir Sulimany, Yaron Bromberg (2022). All-fiber source and sorter for multimode correlated photons. npj Quantum Information.
arXiv DOI
Avi Klein, Shir Shahal, Sara Meir, Hamootal Duadi, Kfir Sulimany, Ohad Lib, Hadar Steinberg, Sergey Kolpakov, Moti Fridman (2019). Ultrafast twin-peak rogue waves in a vector field. OSA Continuum.
Kfir Sulimany, Ohad Lib, Gilad Masri, Avi Klein, Moti Fridman, Philippe Grelu, Omri Gat, Hadar Steinberg (2018). Bidirectional soliton rain dynamics induced by Casimir-like interactions in a graphene mode-locked fiber laser. Physical Review Letters.
arXiv DOI
Avi Klein, Gilad Masri, Hamootal Duadi, Kfir Sulimany, Ohad Lib, Hadar Steinberg, Sergey Kolpakov, Moti Fridman (2018). Ultrafast rogue wave patterns in fiber lasers. Optica.