Designing Neural Networks Using Logical Specs.

Shikhar Singh, Marko Vasic, Sarfraz Khurshid

Browse the full ISSRE paper archive.