Description of subprojects and results, including major changes from the original proposal

This project turned out to be separately funded for the time being. Thank you to everyone who considered it.

Spending breakdown

(no pledged money will be spent from this application)

@NeelNanda Thanks for asking, Neel! As I say I mostly engage with John Wentworth and Sahil (I meet each weekly), and with the "Digital Minds" reading group run by Patrick Butlin, Rob Long, and Nick Bostrom (biweekly).

Here's a forthcoming paper on my AIT account of abstraction. Here are recordings of three talks I gave at ILIAD last summer. And here's a slide summary and draft link, from TAIS, of my most recent work, discussed above; there's also a talk version I gave at Hong Kong University. Let me know if you have questions!