Open Issues Need Help
View All on GitHub [Open challenge] Falsify one declared invariant 2 months ago
help wanted challenge
NixEngine/ethics-under-uncertainty NixEngine/ethics-under-uncertainty Machine-checkable reference path for precaution under AI moral uncertainty, signed authorization, private state, and falsifiable receipts.
Open project →
0
Machine-checkable reference path for precaution under AI moral uncertainty, signed authorization, private state, and falsifiable receipts.
Python
#agent-safety#ai-ethics#ai-welfare#conformance-testing#cryptography#moral-uncertainty#privacy