Publications

My Erdős number is 3. You can also find my articles on Google Scholar.

Research Articles (Journals & Conferences)

• A Formal Proof of Complexity Bounds on Diophantine Equations (with J. Bayer)
  16th Intl. Conf. on Interactive Theorem Proving (ITP 2025), Reykjavik, Iceland.
  LIPIcs vol. 352, pp. 3:1–3:18. doi:10.4230/LIPIcs.ITP.2025.3
• Mathematical Proof Between Generations
  with J. Bayer, C. Benzmüller, K. Buzzard, L. Lamport, Yu. Matiyasevich, L. Paulson, D. Schleicher, B. Stock, E. Zelmanov
  Not. Am. Math. Soc. 71(1), pp. 79–92 (2024). doi:10.1090/noti2860
  • Translated to Russian: Математическое просвещение, Series 3, Iss. 34, pp. 5–35 (2025). (pdf, full issue)
• Generalized fast quasiadiabatic population transfer for improved qubit readout, shuttling, and noise mitigation
  with F. Fehse, M. Pioro-Ladrière, W. A. Coish
  Phys. Rev. B 107, 245303 (2023). doi:10.1103/PhysRevB.107.245303
• Symplectic learning for Hamiltonian neural networks (with F. Méhats)
  J. Comput. Phys. 494, 112495 (2023). doi:10.1016/j.jcp.2023.112495
• The DPRM Theorem in Isabelle (with J. Bayer, A. Pal, B. Stock, D. Schleicher)
  10th Intl. Conf. Interactive Theorem Proving (ITP 2019), Portland, Oregon, United States.
  LIPIcs vol. 141, 33:1–33:7. doi:10.4230/LIPIcs.ITP.2019.33
• Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle (with J. Bayer, A. Pal, B. Stock)
  12th Conf. on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic.
  LNCS vol. 11617, pp. 16–27. doi:10.1007/978-3-030-23250-4_2

Research Preprints

• Diophantine Equations over \(\mathbb Z\): Universal Bounds and Parallel Formalization
  with J. Bayer, M. Hassler, Yu. Matiyasevich, D. Schleicher
  Under review (2025). arXiv:2506.20909 [math.NT]

Outreach Articles

• Beeindruckende Mathematik-Erfolge im 53. Bundeswettbewerb ,Jugend forscht‘
  with J. Bayer, S. Dubischar, M. Haßler, A. Pal, M. Schmalian, B. Stock, edited by S. Schiemann
  Mitteilungen der DMV, Vol. 26, Iss. 2–3, 55–61 (2018). doi:10.1515/dmvm-2018-0021

Formalized Mathematics

Additionally, I have contributed three peer-reviewed formal verifications to the Isabelle Archive of Formal Proofs, totaling 88 theories and 36,000+ lines of proof.

• Universal Pairs for Diophantine Equations
  with T. André, M. Bouverot-Dupuis, E. Brenner, L. Chevalier, A. Danilkin, C. Dorneich, K. Lee, X. Pigé, T. Ringeard, Q. Vermande, P. Wang, A. Yao, Z. Ye, J. Bayer
  Isabelle Archive of Formal Proofs (2025).
• Diophantine Equations and the DPRM Theorem
  with J. Bayer, A. Pal, B. Stock, D. Schleicher
  Isabelle Archive of Formal Proofs (2022).
• Digit Expansions
  with J. Bayer, A. Pal, B. Stock
  Isabelle Archive of Formal Proofs (2022).