Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kunhang Lv
conf.researchr.org general profile
ASE 2023 profile
Registered user since Mon 28 Aug 2023
Name:
Kunhang Lv
Country:
China
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
Tue 11 Mar 07:59