Weizhi Feng, Shidong Shen, Jiaxiang Liu 0001, Taolue Chen 0001, Fu Song, Zhilin Wu. Can LLM Aid in Solving Constraints with Inductive Definitions?. In Augusto Sampaio 0001, Mariëlle Stoelinga, editors, Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II. Volume 16557 of Lecture Notes in Computer Science, pages 111-132, Springer, 2026. [doi]
@inproceedings{FengSLCSW26,
title = {Can LLM Aid in Solving Constraints with Inductive Definitions?},
author = {Weizhi Feng and Shidong Shen and Jiaxiang Liu 0001 and Taolue Chen 0001 and Fu Song and Zhilin Wu},
year = {2026},
doi = {10.1007/978-3-032-26220-2_6},
url = {https://doi.org/10.1007/978-3-032-26220-2_6},
researchr = {https://researchr.org/publication/FengSLCSW26},
cites = {0},
citedby = {0},
pages = {111-132},
booktitle = {Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II},
editor = {Augusto Sampaio 0001 and Mariëlle Stoelinga},
volume = {16557},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-26220-2},
}