3 citations · 9 across the 9 of their papers we have counts for
5 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…
Improving global precipitation forecasts with an AI weather model trained on satellite observations
Julian F. Schmitt, Bertrand Delorme, Robert C. King +4
Precipitation forecasts shape decision-making across the global economy, particularly in sectors such as agriculture. However, unlike variables such as temperature, precipitation i…
Agents' Last Exam
Yiyou Sun, Xinyang Han, Weichen Zhang +378
Recent AI systems have achieved strong results on a wide range of benchmarks, yet these gains have not translated into economically meaningful deployment across many professional d…
A Next-Generation Snow Albedo Parameterization for Climate Modeling using Constrained Machine Learning
Andrew Charbonneau, Katherine Deck, Tapio Schneider
We demonstrate a data-driven parameterization for snow albedo using a constrained neural differential equation that directly predicts a range of snow albedo tendencies from standar…