PostDoc (M/F) in Counting, Complexity, and Neurosymbolic Reasoning

PostDoc (M/F) in Counting, Complexity, and Neurosymbolic Reasoning CNRS - National Center for Scientific Research Computer scienceMathematics » Algorithms As machine learning systems become increasingly prevalent in our daily lives, we need guarantees of correctness in sensitive areas. The CertAI project aims to advance in this direction by leveraging certified model counting to certify machine learning results in restricted formal contexts. The...