Kunhang Lv

According to our database, Kunhang Lv authored at least 2 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

LLM-Guided Quantified SMT Solving over Uninterpreted Functions.

Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2023

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.

Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023