rozlynd/formally-certified-classifiers

Certified Explainers for Classifiers

语言：OCaml · GitHub 星标：1 · Fork：0

话题：ai · ai-safety · classifiers · formal-methods · formal-proofs · rocq

在 GitHub 上查看原仓库