-
with human values, and safety in current language technologies. As NLP-based systems are increasingly deployed in society, there is a growing need for methods to understand and mitigate the ethical risks
-
complementary and synergic methods at the intersection of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions