Demystifying amortized causal discovery with transformers
F. Montagna, M.T. Cairney-Leeming, D. Sridhar, F. Locatello, Transactions on Machine Learning Research (2025).

Interfacing BDNA and DNA mimic foldamers
M. Loos, F. Xu, P.K. Mandal, T. Chakrabortty, C. Douat, D.B. Konrad, M. Cabbar, J. Singer, V. Corvaglia, T. Carell, I. Huc, Angewandte Chemie International Edition 64 (2025).

Impedance-engineered Josephson parametric amplifier with single-step lithography
L. Patel, S. Hawaldar, A. Panikkar, A. Shankar, B. Suri, Applied Physics Letters 127 (2025).

Spatiotemporal patterns differentiate hippocampal sharp-wave ripples from interictal epileptiform discharges in mice and humans
A. Maslarova, J.N. Shin, A.C. Navas Olivé, M. Vöröslakos, H. Hamer, A. Doerfler, S. Henin, G. Buzsáki, A. Liu, Nature Communications 16 (2025).

Armadillo repeat only proteins are required for the function of plant CNGC channels
I. Kulich, D. Oulehlová, D. Vladimirtsev, M. Zou, E. Lileikyte, A. Bondar, K. Kulichová, M. Janda, O. Iakovenko, M. Neubergerová, T. Studtrucker, R. Pleskot, P. Dietrich, M. Fendrych, J. Friml, BioRxiv (n.d.).

A simpler and parallelizable O(alog n)-approximation algorithm for SPARSEST CUT
V. Kolmogorov, ACM Transactions on Algorithms 21 (2025) 1–22.

Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.

How to probe: Simple yet effective techniques for improving post-hoc explanations
S. Gairola, M. Böhle, F. Locatello, B. Schiele, in:, 13th International Conference on Learning Representations, ICLR, 2025.

Program logics à la Carte
M. Vistrup, M.J. Sammler, R. Jung, Proceedings of the ACM on Programming Languages 9 (2025) 300–331.

Formal foundations for translational separation logic verifiers
T. Dardinier, M.J. Sammler, G. Parthasarathy, A.J. Summers, P. Müller, Proceedings of the ACM on Programming Languages 9 (2025) 569–599.

Little Red Dots at an inflection point: Ubiquitous v-shaped turnover consistently occurs at the Balmer limit
D.J. Setton, J.E. Greene, A. de Graaff, Y.O26 Ma, J. Leja, J.J. Matthee, R. Bezanson, L.A. Boogaard, N.J. Cleri, H. Katz, I. Labbe, M.V. Maseda, I. McConachie, T.B. Miller, S.H. Price, K.A. Suess, P. van Dokkum, B.Qb0m01 Wang b, A. Weibel, K.E. Whitaker, C.C. Williams, The Astrophysical Journal 995 (2025).

A confirmed deficit of hot and cold dust emission in the most luminous Little Red Dots
D.J. Setton, J.E. Greene, J.S. Spilker, C.C. Williams, I. Labbé, Y.O26 Ma, B.Qb0m01 Wang, K.E. Whitaker, J. Leja, A. de Graaff, S. Alberts, R. Bezanson, L.A. Boogaard, G. Brammer, S.E. Cutler, N.J. Cleri, O.R. Cooper, P. Dayal, S. Fujimoto, L.J. Furtak, A.D. Goulding, M. Hirschmann, V. Kokorev, M.V. Maseda, I. McConachie, J.J. Matthee, T.B. Miller, R.P. Naidu, P.A. Oesch, R. Pan, S.H. Price, K.A. Suess, J.R. Weaver, M. Xiao, Y. Zhang, A. Zitrin, The Astrophysical Journal Letters 991 (2025).

Little impact of mergers and galaxy morphology on the production and escape of ionizing photons in the early Universe
S. Mascia, L. Pentericci, M. Llerena, A. Calabrò, J.J. Matthee, S. Flury, F. Pacucci, A. Jaskot, R.O. Amorín, R. Bhatawdekar, M. Castellano, N. Cleri, L. Costantin, K. Davis, C. Di Cesare, M. Dickinson, A. Fontana, Y. Guo, M. Giavalisco, B.W. Holwerda, W. Hu, M. Huertas-Company, I. Jung, J. Kartaltepe, D. Kashino, A.M. Koekemoer, R.A. Lucas, J. Lotz, L. Napolitano, S. Jogee, S. Wilkins, Astronomy &; Astrophysics 701 (2025).

GLIMPSE: An ultrafaint 10^5 M Pop III galaxy candidate and first constraints on the Pop III UV luminosity function at z   6–7
S. Fujimoto, R.P. Naidu, J. Chisholm, H. Atek, R. Endsley, V. Kokorev, L.J. Furtak, R. Pan, B. Liu, V. Bromm, A. Venditti, E. Visbal, R. Sarmento, A. Weibel, P.A. Oesch, G. Brammer, D. Schaerer, A. Adamo, D.A. Berg, R. Bezanson, R. Bouwens, I. Chemerynska, A. Claeyssens, M. Dessauges-Zavadsky, A. Frebel, D. Korber, I. Labbe, R. Marques-Chaves, J.J. Matthee, K.B.W. McQuinn, J.B. Muñoz, P. Natarajan, A. Saldana-Lopez, K.A. Suess, M. Volonteri, A. Zitrin, The Astrophysical Journal 989 (2025).

Environmental evidence for overly massive Black Holes in low-mass galaxies and a Black Hole–Halo mass relation at z c 5
J.J. Matthee, R.P. Naidu, G. Kotiwale, L.J. Furtak, I. Kramarenko, R. Mackenzie, J. Greene, A. Adamo, R.J. Bouwens, C. Di Cesare, A.-C. Eilers, A. de Graaff, K.E. Heintz, D. Kashino, M.V. Maseda, S. Tacchella, A. Torralba Torregrosa, The Astrophysical Journal 988 (2025).

Mapping dusty galaxy growth at z > 5 with FRESCO: Detection of H;1 in submm galaxy H.1 and the surrounding overdense structures
T. Herard-Demanche, R.J. Bouwens, P.A. Oesch, R.P. Naidu, R. Decarli, E.J. Nelson, G. Brammer, A. Weibel, M. Xiao, M. Stefanon, F. Walter, J.J. Matthee, R.A. Meyer, S. Wuyts, N. Reddy, L. Rowland, I. van Leeuwen, P.A. Haro, H. Dannerbauer, A.E. Shapley, J. Chisholm, P. van Dokkum, I. Labbe, G. Illingworth, D. Schaerer, I. Shivaei, Monthly Notices of the Royal Astronomical Society 537 (2025) 788–808.

Score matching through the roof: Linear, nonlinear, and latent variables causal discovery
F. Montagna, P. Faller, P. Blöbaum, E. Kirschbaum, F. Locatello, in:, Proceedings of the Fourth Conference on Causal Learning and Reasoning, ML Research Press, 2025, pp. 552–605.

Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.

Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.

Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.