Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges

State-space graphs and automata serve as fundamental tools for modeling and analyzing the behavior of computational systems. Recurrent neural networks (RNNs) and language models are deeply intertwined, as RNNS provide the foundational architecture that enables language models to process sequential d...

Descripció completa

Dades bibliogràfiques

Autors principals:	Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In
Format:	Artigo
Idioma:	Inglês
Publicat:	IEEE 2025-01-01
Col·lecció:	IEEE Access
Matèries:	Model checking colored petri net state-space analysis GRU attention formal verification
Accés en línia:	https://ieeexplore.ieee.org/document/10993355/
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!