Highaffinity hybridization of complementary aromatic oligoamide strands in water
V. Koehler, G. Bruschera, E. Merlet, P.K. Mandal, E. Morvan, F. Rosu, C. Douat, L. Fischer, I. Huc, Y. Ferrand, Angewandte Chemie International Edition 62 (2023).

Controlling aromatic helix dimerization in water by tuning charge repulsions
B. Teng, P.K. Mandal, L. Allmendinger, C. Douat, Y. Ferrand, I. Huc, Chemical Science 14 (2023) 11251–11260.

Self-assembly of achiral building blocks into chiral cyclophanes using non-directional interactions
Y. Zhang, B. Ourri, P.-T. Skowron, E. Jeamet, T. Chetot, C. Duchamp, A.M. Belenguer, N. Vanthuyne, O. Cala, E. Dumont, P.K. Mandal, I. Huc, F. Perret, L. Vial, J. Leclaire, Chemical Science 14 (2023) 7126–7135.

(Re-)directing oligomerization of a single building block into two specific dynamic covalent foldamers through pH
Y. Jin, P.K. Mandal, J. Wu, N. Böcher, I. Huc, S. Otto, Journal of the American Chemical Society 145 (2023) 2822–2829.

Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.

RNA oligomerisation without added catalyst from 2,3cyclic nucleotides by drying at air-water interfaces
A.V. Dass, S. Wunnava, J. Langlais, B. von der Esch, M. Krusche, L. Ufer, N. Chrisam, R.C.A. Dubini, F. Gartner, S. Angerpointner, C.F. Dirscherl, P. Rovo, C.B. Mast, J.E. Sponer, C. Ochsenfeld, E. Frey, D. Braun, ChemSystemsChem 5 (2023).

Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).

Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).

Multi-point functional central limit theorem for Wigner Matrices
J. Reker, ArXiv (n.d.).

Prethermalization for deformed Wigner Matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).

Contractive coupling rates and curvature lower bounds for Markov chains
F. Pedrotti, ArXiv (n.d.).

OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.

C-shells: Deployable gridshells with curved beams
Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, M. Pauly, ACM Transactions on Graphics 42 (2023).

BamX: Rethinking Deployability in Architecture through Weaving
S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.), Advances in Architectural Geometry 2023, De Gruyter, 2023.

Computational exploration of multistable elastic knots
M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, M. Pauly, ACM Transactions on Graphics 42 (2023).

From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces
Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).

Melocoton: A program logic for verified interoperability between OCaml and C
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.

Conditional contextual refinement
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.

DimSum: A decentralized approach to multi-language semantics and verification
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.

Observable signatures of stellar-mass black holes in active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).