Rik Adriaensen, Jaron Maene. Extracting Moore Machines from Transformers Using Queries and Counterexamples. In Georg Krempl, Kai Puolamäki, Ioanna Miliou, editors, Advances in Intelligent Data Analysis XXIII - 23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7-9, 2025, Proceedings. Volume 15669 of Lecture Notes in Computer Science, pages 419-431, Springer, 2025. [doi]
Abstract is missing.