Structure and Guarantees

What kinds of AI systems should we build? A perspective mixing mathematical guarantees, scalable engineering, and evolutionary dynamics.

By Adam Chlipala
ยท Launched 23 days ago