Explore projects

Miroir de https://github.com/haan/Lightbot

Code for paper "Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification"

Tools to get energy and climate data from several sources (energy and climate agencies, grid operators, etc.) and to get this data usable (homogenise data format).