vmehra comments on What are MIRI’s big achievements in AI alignment?

[vmehra]

their work with CFAR seems to me to have been a solid bet at the time

Can you point me to the work they did with CFAR?