Chongli Qin, Rudy Bunel and Sven Gowal are qualified to endorse.
Verification of Non-Linear Specifications for Neural Networks
| Chongli Qin: | Is registered as an author of this paper. Can endorse for stat.ML. (why?) |
| Rudy Bunel: | Is registered as an author of this paper. Can endorse for cs.AI, cs.CV, cs.LG. (why?) |
| Sven Gowal: | Is registered as an author of this paper. Can endorse for cs.LG, stat.ML. (why?) |
Krishnamurthy Dvijotham, Brendan O'Donoghue, Robert Stanforth, Jonathan Uesato, Grzegorz Swirszcz and Pushmeet Kohli are not registered as owners of this paper. (why?)