Latest version: v0.15.0
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
A high-level functional language for writing mathematically-precise specifications for neural networks.
No known vulnerabilities found
Has known vulnerabilities