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]
Abstract is missing.