I still enjoy the symbolic ai space. Any examples of interesting progress there?