Formalization of Policy
Build tools to enable policy-makers to write mechanized (i.e. runnable software) versions, moving more of the subjective evaluation ahead of the action (rather than interpreting more things post-facto). This would leverage formal logic to streamline policy development and governance.
Resources (6)
Automated Reasoning to Prevent LLM Hallucination, with Byron Cook
Whitepapers and Essays
Formalized Policies - Ecient Regulation post-AGI
Whitepapers and Essays
Govern AI with Rules, Not Values by Evan Miyazono
Whitepapers and Essays
Norm AI
Company
Catalang
Initiative
R&D Gaps (1)
Policy development and evaluation processes today rely heavily on manual human review to ensure accountability. However, as AI systems increasingly support or automate these processes, this human-centered accountability becomes challenging. Human reviewers risk becoming a critical bottleneck, slowin...