AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Project: BIGCODE
Updated at: 27-04-2024
Show more
information
Project acronym
BIGCODE