Toward Reliable Neural Specifications