Picture for Calvin Chau

Calvin Chau

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

Add code
Jul 20, 2023
Viaarxiv icon