Introduction Secure program synthesis (SPS) is the problem of automatically generating, or “synthesizing”, software which is known to be secure. In practice, this manifests as the triple-task of synthesizing some software S, a specification φ saying what it would mean for S to be “secure”, and a proof P that...
mostly written by Evan Miyazono Minimum viable introduction * We ran a workshop on Mathematical Boundaries from April 10-14. This was the successor of the Conceptual Boundaries Workshop (retrospective, last update) Feb 10-12 * The overlap in participants and approach was fairly low (notably lower than intended, due to availability...
Atlas Computing is a new nonprofit working to collaboratively advance AI capabilities that are asymmetrically risk-reducing. Our work consists of building scoped prototypes and creating an ecosystem around @davidad’s Safeguarded AI programme at ARIA (formerly referred to as the Open Agency Architecture). We formed in Oct 2023, and raised nearly...