Active learning of regular languages as an approach to neural language models verification.
This work tackles the general problem of verifying the behavior of sequence processing neural networks, specifically neural acceptors and neural language models. The contribution is a framework for extracting formal abstractions of the networks under analysis and verifying whether they satisfy given...
Saved in:
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Language: | English |
| Published: |
2024
|
| Online Access: | https://hdl.handle.net/20.500.12008/45940 |
| Tags: |
No Tags, Be the first to tag this record!
|