Login / Signup
NLP Verification: Towards a General Methodology for Certifying Robustness.
Marco Casadio
Tanvi Dinkar
Ekaterina Komendantskaya
Luca Arnaboldi
Omri Isac
Matthew L. Daggitt
Guy Katz
Verena Rieser
Oliver Lemon
Published in:
CoRR (2024)
Keyphrases
</>
special case
natural language
search algorithm
natural language processing
closely related
neural network
decision trees
question answering
databases
information retrieval
genetic algorithm
machine translation
design methodology
text analysis
language processing
sound theoretical