17 citations · 28 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Paleoclimate Boundary Conditions as an Out-of-Sample Test for the Forced Response of Ocean Climate Emulators
Adam Subel, Laure Zanna
AI weather emulators benefit from clear objectives and metrics, which have led to the rapid development of models that outperform traditional benchmarks. In contrast, long-term cli…
Samudra 2: Scaling Ocean Emulators across Resolutions
Yuan Yuan, Jesse Rusak, Alexander Merose +5
Ocean general circulation models (OGCMs) are essential to climate science but computationally expensive, limiting ensemble size and forcing scenarios. Neural emulators promise orde…
FloeNet: A mass-conserving global sea ice emulator that generalizes across climates
William Gregory, Mitchell Bushuk, James Duncan +8
We introduce FloeNet, a machine-learning emulator trained on the Geophysical Fluid Dynamics Laboratory global sea ice model, SIS2. FloeNet is a mass-conserving model, emulating 6-h…