17 Dec 2025
Paper accepted at ICSE'26
We are proud that our paper about a ADARULE, an LLM-driven natural language to LTL conversion via pattern-adaptive rule induction, has been accepted at ICSE’26.
We are proud that our paper about a ADARULE, an LLM-driven natural language to LTL conversion via pattern-adaptive rule induction, has been accepted at ICSE’26.