Codesign for Legibility (to AI and Everyone Else)
This post is crossposted from my Substack, Structure and Guarantees, where I explore how formal verification might scale to more complex intelligent systems.The starting point here is the familiar idea of predictive coding, where a learning loop refine…