Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yu Zhang
conf.researchr.org general profile
ASE 2023 profile
Not registered as user
Name:
Yu Zhang
Affiliation:
Institute of Software, Chinese Academy of Sciences
Contributions
2023
ASE
Author of NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization within the Tool Demonstrations-track
Share
x
Sat 21 Dec 19:57