NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization | IEEE Conference Publication | IEEE Xplore