Luke Muehlhauser

Assorted links

October 19, 2014 by Luke Leave a Comment

  • Hsu, “Super-intelligent humans are coming.”
  • Winikoff, “Assurance of agent systems: what role should formal verification play?“
  • New Friendly AI open problem description: “Corrigibility.”

Filed Under: Lists

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Lists | Quotes | Musings

RSS | About | Other Writings

Modern classical music
Modern art jazz
Favorite movies since 2009
Animal consciousness
Industrial revolution

Recommended readings

Copyright © 2023 · Luke Muehlhauser on Genesis Framework · WordPress · Log in