Atlas Blog
Subscribe
Sign in
Home
Archive
About
Website updated!
to match our focus on mapping and addressing neglected catastrophic risks
Sep 2
•
Evan Miyazono
2
July 2025
Daniel Windham: Passing the Torch
Reflections on our work as I transition out of Atlas
Jul 12
•
Daniel Windham
1
June 2025
A refinement-based paradigm for code generation
Consider this to be an extended answer to the question “why would you build the IDE for specification” described in our previous blogpost. The questions…
Jun 3
•
Evan Miyazono
2
May 2025
IDE for validating specifications
A reminder of our overarching vision
May 22
•
Evan Miyazono
,
Daniel Windham
, and
Alexandre Rademaker
2
April 2025
Progress in autoformalization experiments
Can today's AI systems generate formally verified code?
Apr 22
•
Evan Miyazono
Govern AI with Rules, Not Values
A Vision of Specification-Driven AI
Apr 1
•
Evan Miyazono
3
August 2024
Our Report On AI-Enabled Tools For Scaling Formal Verification
Scaling Human Understanding and Review Capacity
Aug 6, 2024
•
Evan Miyazono
1
July 2024
Announcing Flexible Hardware-Enabled Governors
Imagine if every uranium atom pulled out of the ground had its own international atomic energy inspector tasked to follow it, report on its usage…
Jul 31, 2024
•
Atlas Computing
May 2024
Retrospective on Mathematical Boundaries Workshop
Primarily written by Evan Miyazono (with help from Manuel Baltieri and others) - mistakes my own
May 7, 2024
•
Evan Miyazono
1
April 2024
Evan's thoughts on boundaries (Apr 2024)
AI Guardrails may benefit from formalizing the concept of boundaries
Apr 9, 2024
•
Evan Miyazono
Welcome to Atlas Computing's blog!
A brief summary of where we write about our work
Apr 4, 2024
•
Atlas Computing
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
