Open Issues Need Help
View All on GitHub docs: the new-issue chooser does not route questions to Discussions about 2 hours ago
documentation good first issue
Check whether a system actually respects the legal requirements it is subject to — with verdicts that state how they were reached: proved, probed, observed, or unattainable.
Python
#ai-governance#ai-safety#auditing#compliance#conformance-testing#eu-ai-act#explainable-ai#formal-methods#gdpr#interpretability#legaltech#model-checking#neurosymbolic#python#regtech#responsible-ai#smt-solver#temporal-logic#trustworthy-ai#z3
build: pack proposals arrive unlabelled — the template never applies the pack label about 2 hours ago
good first issue pack
Check whether a system actually respects the legal requirements it is subject to — with verdicts that state how they were reached: proved, probed, observed, or unattainable.
Python
#ai-governance#ai-safety#auditing#compliance#conformance-testing#eu-ai-act#explainable-ai#formal-methods#gdpr#interpretability#legaltech#model-checking#neurosymbolic#python#regtech#responsible-ai#smt-solver#temporal-logic#trustworthy-ai#z3
docs: the documentation index points at a file that was renamed, and misses two documents about 2 hours ago
documentation good first issue
Check whether a system actually respects the legal requirements it is subject to — with verdicts that state how they were reached: proved, probed, observed, or unattainable.
Python
#ai-governance#ai-safety#auditing#compliance#conformance-testing#eu-ai-act#explainable-ai#formal-methods#gdpr#interpretability#legaltech#model-checking#neurosymbolic#python#regtech#responsible-ai#smt-solver#temporal-logic#trustworthy-ai#z3