Paper accepted at FM'26

We are proud that our paper "Can LLM Aid in Solving Constraints with Inductive Definitions?", has been accepted at 27th Symposium on Formal Methods (FM) 2026.

@article{FM26Feng,
  author       = {Weizhi Feng and Shidong Shen and Jiaxiang Liu and Taolue Chen and Fu Song and Zhilin Wu},
  title        = {Can {LLM} Aid in Solving Constraints with Inductive Definitions?},
  journal      = {27th Symposium on Formal Methods (FM)},
  year         = {2026}
}