Search Results for author:
Found 2 papers, 1 papers with code
ClimAlign: Unsupervised statistical downscaling of climate variables via normalizing flows
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.
Learning to Reason
Newer theorem provers, such as E, use superposition calculus in place of more traditional resolution and tableau based methods.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
