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...
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | doctoralThesis |
| Reo: | Ingarihi |
| I whakaputaina: |
2024
|
| Urunga tuihono: | https://hdl.handle.net/20.500.12008/45940 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Me noho koe te mea tuatahi ki te waiho tākupu!