AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Receptive fields, binocular interaction and functional architecture in the cat's visual cortex.