Can LLM Aid in Solving Constraints with Inductive Definitions? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Weizhi Feng' in GoogleThis author has not been identified. Look up 'Shidong Shen' in GoogleThis author has not been identified. Look up 'Jiaxiang Liu 0001' in GoogleThis author has not been identified. Look up 'Taolue Chen 0001' in GoogleThis author has not been identified. Look up 'Fu Song' in GoogleThis author has not been identified. Look up 'Zhilin Wu' in Google

runs on WebDSL