@misc{indiciaeb525a9f1058f,
  title = {Can LLM Aid in Solving Constraints with Inductive Definitions?},
  author = {Weizhi Feng and Shidong Shen and Jiaxiang Liu and Taolue Chen and Fu Song and Zhilin Wu},
  year = {2026},
  url = {https://arxiv.org/abs/2603.03668},
  note = {Source identifier: 2603.03668}
}