NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. - Minghao Liu 001; Kunhang Lv; Pei Huang 002; Rui Han; Fuqi Jia; Yu Zhang; Feifei Ma; Jian Zhang 001 (ASE, 2023)