Details for the publication HuSWHFXLWMDP26.

Jiayi Hu, Jingling Sun, Chong Wang, Yihao Huang, Jincao Feng, Yilongfei Xu, Yong Li, Kailong Wang, Weikai Miao, Jin Song Dong, Geguang Pu: ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction. In ICSE'26, 2026. URL