Nice work! I would be happy to work through some of the MIRI research guide with you. I’m particularly interested in the books on Probabilistic Inference, Provability Logic, Category Theory, and Topology. PM me if you’re planning to cover any of them any time soon.
I read through the entire Logical Induction paper, most-everything on Agent Foundations Forum, the advised Linear Algebra textbook, part of a Computational Complexity textbook, and the Optimal Poly-Time Estimators paper.
I’d be extremely interested in helping out other people with learning MIRI-relevant math, having gone through it solo. I set up a Discord chatroom for it, but it’s been pretty quiet. I’ll PM you both.
Nice work! I would be happy to work through some of the MIRI research guide with you. I’m particularly interested in the books on Probabilistic Inference, Provability Logic, Category Theory, and Topology. PM me if you’re planning to cover any of them any time soon.
I read through the entire Logical Induction paper, most-everything on Agent Foundations Forum, the advised Linear Algebra textbook, part of a Computational Complexity textbook, and the Optimal Poly-Time Estimators paper.
I’d be extremely interested in helping out other people with learning MIRI-relevant math, having gone through it solo. I set up a Discord chatroom for it, but it’s been pretty quiet. I’ll PM you both.