x

LESSWRONG

LW

Adam Chlipala — LessWrong

Adam Chlipala

Adam Chlipala

Message

I'm a computer-science professor at MIT and cofounder of Nectry.

My blog Structure and Guarantees considers how to build AI systems that we can actually understand and trust. The usual academic stuff is on my home page.

I work broadly on creating better abstractions for programming. The...

21

2

2mo

Adam Chlipala

I'm a computer-science professor at MIT and cofounder of Nectry.

My blog Structure and Guarantees considers how to build AI systems that we can actually understand and trust. The usual academic stuff is on my home page.

I work broadly on creating better abstractions for programming. The...

Safe Recursive Self-Improvement with Verified Compilers

This post is crossposted from my Substack, Structure and Guarantees, where I’ve been exploring how formal verification might scale to more-complex intelligent systems. This piece argues that compilers—already used in limited forms of recursive self-improvement—offer a concrete setting for studying some AI-safety challenges. The previous post in this sequence is...

Formal Verification: The Ultimate Fitness Function

This article is crossposted from Structure and Guarantees, my series on full-stack design of intelligent systems with strong mathematical guarantees. This post argues that formal verification can serve as a radically accelerated fitness function for evolutionary search: dramatically faster feedback while still providing strong guarantees. The last three posts set...