https://hkhedr.com/talk/example-talk/ 2030-06-01T13:00:00+00:00 https://hkhedr.com/ 2030-06-01T13:00:00+00:00 https://hkhedr.com/event/ 2030-06-01T13:00:00+00:00 https://hkhedr.com/publication-type/1/ 2023-05-17T00:00:00+00:00 https://hkhedr.com/publication/deepbernnets/ 2023-05-17T00:00:00+00:00 https://hkhedr.com/publication_types/ 2023-05-17T00:00:00+00:00 https://hkhedr.com/publication/ 2023-05-17T00:00:00+00:00 https://hkhedr.com/publication-type/3/ 2022-05-24T00:00:00+00:00 https://hkhedr.com/publication/bernn/ 2022-05-24T00:00:00+00:00 https://hkhedr.com/publication/certifair/ 2022-05-24T00:00:00+00:00 https://hkhedr.com/publication/fastbattlnn/ 2022-05-04T00:00:00+00:00 https://hkhedr.com/publication/peregrinn/ 2021-07-21T00:00:00+00:00 https://hkhedr.com/tag/academic/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/categories/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/category/demo/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/post/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/tags/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/post/getting-started/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/tag/%E5%BC%80%E6%BA%90/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/category/%E6%95%99%E7%A8%8B/ 2020-12-13T00:00:00+00:00 https://hkhedr.com/publication/formal-verification-of-neural-network-controlled-autonomous-systems/ 2019-04-02T20:41:57-07:00 https://hkhedr.com/slides/ 2019-02-05T00:00:00+00:00 https://hkhedr.com/slides/example/ 2019-02-05T00:00:00+00:00 https://hkhedr.com/tag/deep-learning/ 2016-04-27T00:00:00+00:00 https://hkhedr.com/project/example/ 2016-04-27T00:00:00+00:00 https://hkhedr.com/project/ 2016-04-27T00:00:00+00:00 https://hkhedr.com/admin/