2 papers
cs.CV2020
ClimAlign: Unsupervised statistical downscaling of climate variables via normalizing flows
Brian Groenke, Luke Madaus, Claire Monteleoni
Downscaling is a landmark task in climate science and meteorology in which the goal is to use coarse scale, spatio-temporal data to infer values at finer scales. Statistical downsc…
cs.AI2018
Learning to Reason
Brian Groenke
Automated theorem proving has long been a key task of artificial intelligence. Proofs form the bedrock of rigorous scientific inquiry. Many tools for both partially and fully autom…