Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.

Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.

CrAM: A Compression-Aware Minimizer
A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , OpenReview, 2023.

Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.

Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.

Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).

Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).

Spin-charge correlations in finite one-dimensional multiband Fermi systems
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).

Some effectivity results for primitive divisors of elliptic divisibility  sequences
M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.

On type II degenerations of hyperkähler manifolds
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.

Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.

Rotor lattice model of ferroelectric large polarons
G. Koutentakis, A. Ghazaryan, M. Lemeshko, Physical Review Research 5 (2023).

Source data for the manuscript "CC acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).

Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.

Stochastic representation of the quantum quartic oscillator
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).

Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.

A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).

Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces
J. Lyczak, Annales de l’Institut Fourier 73 (2023) 447–478.

Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).

Numerical quantum clock simulations for measuring tunneling times
F. Suzuki, W.G. Unruh, Physical Review A 107 (2023).