TY  - RPRT
TI  - Can LLM Aid in Solving Constraints with Inductive Definitions?
AU  - Weizhi Feng
AU  - Shidong Shen
AU  - Jiaxiang Liu
AU  - Taolue Chen
AU  - Fu Song
AU  - Zhilin Wu
PY  - 2026
UR  - https://arxiv.org/abs/2603.03668
ID  - 2603.03668
ER  -