Hacker News new | ask | show | jobs
SafeAI – Abstract Interpretation for Neural Networks (safeai.ethz.ch)
2 points by hurrrr 2739 days ago