Preto, S.
2025 jul 20.  Towards Logical Representations of Recurrent Neural Networks. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :