June 2019: Our work on applying formal verification for end-to-end learning was featured in a blog post in the “ACM Programming Languages Perspectives” blog.
June 2019: Our work on applying formal verification for end-to-end learning was featured in a blog post in the “ACM Programming Languages Perspectives” blog.