POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu
Topics & Concepts
Computer scienceRemainderArtificial neural networkReachabilityPolynomialDifferentiable functionBounded functionArbitrary-precision arithmeticAlgorithmArithmeticMathematicsArtificial intelligencePure mathematicsMathematical analysisAdversarial Robustness in Machine LearningAdvanced Memory and Neural ComputingFormal Methods in Verification