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.

The third pillar of causal analysis? A measurement perspective on causal representations
D. Yao, S. Huang, R. Cadei, K. Zhang, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.

Out-of-Distribution detection with relative angles
B. Demirel, M. Fumero, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.

Head pursuit: Probing attention specialization in multimodal transformers
L. Basile, V. Maiorca, D. Doimo, F. Locatello, A. Cazzaniga, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.

Connecting neural models latent geometries with relative geodesic representations
H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.

Prediction-powered causal inferences
R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.

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.

Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.

Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.

SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6
J.D. Silverman, J. Li, X. Ding, M. Onoue, M.A. Strauss, Y. Matsuoka, T. Izumi, K. Jahnke, T. Treu, M. Volonteri, C.L. Phillips, I.T. Andika, K. Aoki, J. Arita, S. Baba, S.E.I. Bosman, A.-C. Eilers, X. Fan, S. Fujimoto, M. Habouzit, Z. Haiman, M. Imanishi, K. Inayoshi, K. Iwasawa, N. Kashikawa, T. Kawaguchi, C.-H. Lee, A. Lupi, T. Nagao, J.-T. Schindler, M. Schramm, K. Shimasaku, Y. Toba, B. Trakhtenbrot, H. Umehata, M. Vestergaard, F. Walter, F. Wang, J. Yang, The Astrophysical Journal Letters 995 (2025).

Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers
L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 543 (2025) 2670–2685.