3 citations · 4 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…
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…
Hard conservation correctors can hide a degrading model when training autoregressive emulators
William E. Chapman, John Schreck, Yingkai Sha
AI weather and climate emulators increasingly incorporate physical principles into their formulation. One approach is to apply hard correctors that modify network outputs so that g…
Conditional Tropical Cyclogenesis Rates via Rare-Event Sampling in a Neural Weather Emulator
John S. Schreck, William Chapman, Charlie Becker +1
We couple Forward Flux Sampling (FFS), a non-equilibrium rare-event technique from statistical mechanics, to a neural weather emulator (SDL-WXFormer, 1° grid spacing) to estimate c…