Nardine Basta, Dali Kaafar. DIALEVAL: Automated Type-Theoretic Evaluation of LLM Instruction Following. In Raymond Chi-Wing Wong, Hanghang Tong, Hua Lu 0001, James T. Kwok, Flora D. Salim, Yuanfeng Song, Man Lung Yiu, editors, Advances in Knowledge Discovery and Data Mining - 30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026, Hong Kong, China, June 9-12, 2026, Proceedings, Part IV. Volume 16600 of Lecture Notes in Computer Science, pages 225-237, Springer, 2026. [doi]
Abstract is missing.