459 citations · 966 across the 23 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
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…
cs.LG2026
Learning Prognostic Variables for AI Convective Parameterizations via Symbolic Distillation
Jurij Schönfeld, Tom Beucler, Julien Savre +2
Hybrid AI-physics climate modeling aims to improve coarse (~100km-resolution) Earth system models by learning to parameterize subgrid processes from high-fidelity data. However, th…