Ruth Misener

icon indicating a website link http://wp.doc.ic.ac.uk/rmisener/ icon indicating an email [email protected]

icon company Imperial College London icon location London icon location Professor in Computational Optimisation, Department of Computing, Imperial College

Results 3 issues of Ruth Misener

Input bounds documentation

1 comment

@fracek, we need documentation on **write_input_bounds** and **load_input_bounds** (both in https://github.com/cog-imperial/OMLT/blob/main/src/omlt/io/input_bounds.py). I need to clarify. Does the following make sense and (if it doesn't) would you please suggest an alternative?...

question

Increasing coverage

With PR 137 (https://github.com/cog-imperial/OMLT/pull/137), we reduced coverage from 96% to 92%. The error handling has substantially improved (exceptions rather than asserts), but the code coverage has dropped because exceptions count...

Defining activation functions in several places

We currently define the activation functions for neural network nodes in several places: https://github.com/cog-imperial/OMLT/blob/main/src/omlt/neuralnet/layer.py --> Line 112 - 122 https://github.com/cog-imperial/OMLT/blob/main/src/omlt/neuralnet/activations/smooth.py --> Lines 4 - 43 This is a problem because...