Extracting Finite State Machines from Transformers. - Rik Adriaensen; Jaron Maene (CoRR, 2024)

Extracting Moore Machines from Transformers Using Queries and Counterexamples. - Rik Adriaensen; Jaron Maene (IDA, 2025)

The DeepLog Neurosymbolic Machine. - Vincent Derkinderen; Robin Manhaeve; Rik Adriaensen; Lucas Van Praet; Lennert De Smet; Giuseppe Marra; Luc De Raedt (CoRR, 2025)