Get started
Author

Kunhang Lv

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
2026 · Kunhang Lv, Yuhang Dong, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 3
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
2023 · Minghao Liu, Kunhang Lv, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 1
Verifiable LLM-Guided Focal SMT Solving for Quantified Arrays
2026 · Lv, Kunhang, Han, Rui, et al. · arXiv (Cornell University)
PDF
RIGOR: Atomic Semantic Normalization and Declarative Constraint Reasoning for Geometry Problem Solving
2026 · Yuhang Dong, Weijie Yu, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP)
PDF
Works count: 4
Citation count: 4
H-index: 1
I10-index:
Year
Topic
Type