Big Proof Conference in Edinburgh

The Second Big Proof event has started today in Edinburgh, following its first edition at Cambridge in 2017. A number of LAIV members are participating, Katya is giving a talk on LAIV’s experience in Neural net verification.

Leave a Reply

Your email address will not be published. Required fields are marked *