eduardstan/reasonsmith

docs: the new-issue chooser does not route questions to Discussions 3 days ago

documentation good first issue

2

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 3 days ago

good first issue pack

eduardstan/reasonsmith

2

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 3 days ago

documentation good first issue

eduardstan/reasonsmith

2

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

Open Issues Need Help