A ω-regular language inclusion checker
-
Updated
Sep 7, 2023 - Java
A ω-regular language inclusion checker
Make AI safety multilingual. Policies → prompts → results → SAR/ASR/FRR, with CC0 mini-corpora and adversarial tests for low-resource languages.
Add a description, image, and links to the language-inclusion topic page so that developers can more easily learn about it.
To associate your repository with the language-inclusion topic, visit your repo's landing page and select "manage topics."