Tag: neural abstraction