Towards Robust and Verified AI: Specification Testing, Robust Training | Hacker News Reader