PolyQEnt: A polynomial quantified entailment solver
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.

Escape fractions from unattenuated Ly;1 emitters around luminous z > 6 quasars
M. Yue, A.C. Eilers, J.J. Matthee, R.P. Naidu, R. Bordoloi, F.B. Davies, J.F. Hennawi, D. Kashino, R. Mackenzie, R.A. Simcoe, The Astrophysical Journal Letters 993 (2025).

What determines the maximum mass of AGN-assisted black hole mergers?
L.Q. Xue, H. Tagawa, Z. Haiman, I. Bartos, Physical Review D 112 (2025).

The mid-sphere cousin of the medial axis transform
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.

Developmental regulation of GABAB receptors and downstream molecules in the mouse brain
C. Aguado, R. Alfaro-Ruiz, M.L. Martínez-Poyato, A.E. Moreno-Martínez, S. García-Madrona, A. Roldán-Sastre, P. Alonso-Gómez, M. Fernández, R. Puertas-Avendaño, R. Shigemoto, K.A. Martemyanov, R. Luján, Histology and Histopathology 40 (2025) 1967–1984.

The JWST Emission Line Survey (JELS): The sizes and merger fraction of star-forming galaxies during the Epoch of Reionization
H.M.O. Stephenson, J.P. Stott, C.A. Pirie, K.J. Duncan, D.J. Mcleod, P.N. Best, M. Brinch, M. Clausen, R.K. Cochrane, J.S. Dunlop, S.R. Flury, J.E. Geach, C.L. Hale, E. Ibar, Z. Li, J.J. Matthee, R.J. Mclure, L. Ossa-Fuentes, A.L. Patrick, D. Sobral, A.M. Swinbank, Monthly Notices of the Royal Astronomical Society 544 (2025) 1412–1431.

Quantifying spectroscopic flux variations between JWST NIRISS and NIRSpec: Slit losses in emission line measurements of z c 1-3 galaxies
N. Dalmasso, P.J. Watson, T. Treu, M. Trenti, B. Vulcani, T. Nanayakkara, M. Bradad, T. Jones, K. Boyett, X. Wang, S. Mascia, L. Pentericci, Monthly Notices of the Royal Astronomical Society 544 (2025) 1915–1925.

Angle dependence as a unifying feature of root graviresponse modules
S. Roychoudhry, K. Sageman-Furnas, H.J. Taylor, I. Showpnil, C. Wolverton, J. Friml, M.D. Bianco, S. Kepinski, Proceedings of the National Academy of Sciences 122 (2025) e2506400122.

Quantifying the carbon footprint of conference travel: The case of NMR meetings
L. Kapoor, N. Ruzickova, P. Zivadinovic, V. Leitner, M.A. Sisak, C.N. Mweka, J.A. Dobbelaere, G. Katsaros, P. Schanda, Magnetic Resonance 6 (2025) 243–256.

Competition of light-and phonon-dressing in microwave-dressed Bose polarons
G. Koutentakis, S.I. Mistakidis, F. Grusdt, H.R. Sadeghpour, P. Schmelcher, Scipost Physics 19 (2025).

Mean estimation in high-dimensional binary timeinhomogeneous Markov Gaussian mixture models
A. El Latif Kadry, Y. Zhang, N. Weinberger, in:, 2025 IEEE International Symposium on Information Theory Proceedings, IEEE, 2025.

cGive me B or give me deathd? Accuracy-performance trade-offs in LLM quantization
E. Kurtic, A. Marques, S. Pandit, M. Kurtz, D.-A. Alistarh, in:, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2025, pp. 26872–26886.

nextGEMS: Entering the era of kilometer-scale Earth system modeling
H. Segura, X. Pedruzo-Bagazgoitia, P. Weiss, S.K. Müller, T. Rackow, J. Lee, E. Dolores-Tesillos, I. Benedict, M. Aengenheyster, R. Aguridan, G. Arduini, A.J. Baker, J. Bao, S. Bastin, E. Baulenas, T. Becker, S. Beyer, H. Bockelmann, N. Brüggemann, L. Brunner, S.K. Cheedela, S. Das, J. Denissen, I. Dragaud, P. Dziekan, M. Ekblom, J.F. Engels, M. Esch, R. Forbes, C. Frauen, L. Freischem, D. García-Maroto, P. Geier, P. Gierz, Á. González-Cervera, K. Grayson, M. Griffith, O. Gutjahr, H. Haak, I. Hadade, K. Haslehner, S. ul Hasson, J. Hegewald, L. Kluft, A. Koldunov, N. Koldunov, T. Kölling, S. Koseki, S. Kosukhin, J. Kousal, P. Kuma, A.U. Kumar, R. Li, N. Maury, M. Meindl, S. Milinski, K. Mogensen, B. Niraula, J. Nowak, D.S. Praturi, U. Proske, D. Putrasahan, R. Redler, D. Santuy, D. Sármány, R. Schnur, P. Scholz, D. Sidorenko, D. Spät, B. Sützl, D. Takasuka, A. Tompkins, A. Uribe, M. Valentini, M. Veerman, A. Voigt, S. Warnau, F. Wachsmann, M. Wacawczyk, N. Wedi, K.-H. Wieners, J. Wille, M. Winkler, Y. Wu, F. Ziemen, J. Zimmermann, F.A.-M. Bender, D. Bojovic, S. Bony, S. Bordoni, P. Brehmer, M. Dengler, E. Dutra, S. Faye, E. Fischer, C. van Heerwaarden, C. Hohenegger, H. Järvinen, M. Jochum, T. Jung, J.H. Jungclaus, N.S. Keenlyside, D. Klocke, H. Konow, M. Klose, S. Malinowski, O. Martius, T. Mauritsen, J.P. Mellado, T. Mieslinger, E. Mohino, H. Pawowska, K. Peters-von Gehlen, A. Sarré, P. Sobhani, P. Stier, L. Tuppi, P.L. Vidale, I. Sandu, B. Stevens, Geoscientific Model Development 18 (2025) 7735–7761.

Testing compact massive black hole binary candidates through multi-epoch spectroscopy
L. Bertassi, E. Sottocorno, F. Rigamonti, D. D’Orazio, M. Eracleous, Z. Haiman, M. Dotti, Astronomy &; Astrophysics 702 (2025).

Beyond the Nyquist frequency
B.R.B. Liagre, R.A. García, S. Mathur, M.H. Pinsonneault, A. Serenelli, J.C. Zinn, K. Cao, D. Godoy-Rivera, J. Tayar, P.G. Beck, D.H. Grossmann, D.B. Palakkatharappil, Astronomy &; Astrophysics 702 (2025).

Stopping criteria for value iteration on concurrent stochastic reachability and safety games
M. Grobelna, J. Kretinsky, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–580.

Multiplicative rewards in Markovian models
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512.

Risk-aware Markov decision processes using cumulative prospect theory
T. Brihaye, K. Chatterjee, S. Mohr, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–471.

Less water from glaciers during future megadroughts in the Southern Andes
Á. Ayala, E. Muñoz-Castro, D. Farinotti, D. Farías-Barahona, P.A. Mendoza, S. Macdonell, J. Mcphee, X. Vargas, F. Pellicciotti, Communications Earth and Environment 6 (2025).

Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air
A. Stöllner, I.C. Lenton, A. Volosniev, J. Millen, R. Shibuya, H. Ishii, D. Rak, Z. Alpichshev, G. David, R. Signorell, C.J. Muller, S.R. Waitukaitis, Physical Review Letters 135 (2025).