-
bottlenecks arise. On Project B, the focus will be on AI methods: auditing bias in publicly documented agency AI systems and prototyping explainability techniques on representative cases. Although
Enter an email to receive alerts for formal-methods "https:" positions