Before revision:  However, designing a  verifier which can handle realistic networks in a precise manner remains an open and difficult challenge.
After revision:  However, designing a verifier which can handle different activation functions, realistic network architectures and relevant specifications remains an open and difficult challenge.