377 citations · 476 across the 6 of their papers we have counts for
8 papers
Bolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving
Adrián Zámečník, Matěj Kripner, Martin Koutecký +5
Large language models are increasingly contributing to mathematical research, where progress often depends on efficient proof search, incremental improvements and careful verificat…
ClimateBench v2.0: Probabilistic Climate Model Benchmarking
Duncan Watson-Parris, Willa Tobin, Aytaç Paçal +32
We present ClimateBench v2, a standardized protocol for evaluating climate models on diagnostics expected to be informative for their skill in projecting mid-century regional tempe…
Top- and bottom-heavy vertical velocity structures: physical modes of layered atmospheric models
Fiaz Ahmed, J. David Neelin
Tropical East and West Pacific Oceans display differences in their vertical velocity (or omega) profiles. The East Pacific is characterized by bottom-heavy profiles, while the West…
FuXi Weather: A data-to-forecast machine learning system for global weather
Xiuyu Sun, Xiaohui Zhong, Xiaoze Xu +8
Weather forecasting traditionally relies on numerical weather prediction (NWP) systems that integrates global observational systems, data assimilation (DA), and forecasting models.…
ClimSim-Online: A Large Multi-scale Dataset and Framework for Hybrid ML-physics Climate Emulation
Sungduk Yu, Zeyuan Hu, Akshay Subramaniam +44
Modern climate projections lack adequate spatial and temporal resolution due to computational constraints, leading to inaccuracies in representing critical processes like thunderst…
Climate-Invariant Machine Learning
Tom Beucler, Pierre Gentine, Janni Yuval +10
Projecting climate change is a generalization problem: we extrapolate the recent past using physical models across past, present, and future climates. Current climate models requir…
Ruelle-Pollicott Resonances of Stochastic Systems in Reduced State Space. Part I: Theory
Mickaël Chekroun, Alexis Tantet, Henk Anton Dijkstra +1
A theory of Ruelle-Pollicott (RP) resonances for stochastic differential systems is presented. These resonances are defined as the eigenvalues of the generator (Kolmogorov operator…
Critical phenomena in atmospheric precipitation
Ole Peters, J. David Neelin
Critical phenomena near continuous phase transitions are typically observed on the scale of wavelengths of visible light[1]. Here we report similar phenomena for atmospheric precip…