RobertStanforth

Hi Florian, I performed a fresh re-install from HEAD and found that it was necessary to explicitly install tensorflow-probability==0.7.0 after installing dm-sonnet. The follow clean installation from HEAD works for...

Dear jiahaubai, the `verify.py` code example uses the `DNN` model class (https://github.com/deepmind/interval-bound-propagation/blob/master/interval_bound_propagation/src/model.py#L583). It is not necessary to use the `DNN` class at all; it was provided purely as a convenience...

Hi jiahaubai, I believe we were using tensorflow 1.11.0 at the time. Rather than pinning to a legacy version, I'd suggest simply fixing up the error by using `.as_list()` to...