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...

7

1

14d

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...

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...